ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
16
views
14
references
Top references
cited by
6
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,431
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
STACS 99
Eliminating Recursion in the μ-Calculus
other
Author(s):
Martin Otto
Publication date
(Online):
April 12 2002
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
14
Record
: found
Abstract
: not found
Article
: not found
Results on the propositional μ-calculus
Dexter Kozen
(1983)
0
comments
Cited
209
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Languages, Automata, and Logic
Wolfgang Thomas
(1997)
0
comments
Cited
147
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Decidability of Second-Order Theories and Automata on Infinite Trees
Michael O. Rabin
(1969)
0
comments
Cited
65
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1999
Publication date (Online):
April 12 2002
Pages
: 531-540
DOI:
10.1007/3-540-49116-3_50
SO-VID:
2fe6453e-821e-4ede-a3ee-dc2be63b737b
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 100
One-Sided Versus Two-Sided Error in Probabilistic Computation
pp. 32
Classifying Discrete Temporal Properties
pp. 510
A Modal Fixpoint Logic with Chop
pp. 531
Eliminating Recursion in the μ-Calculus
pp. 259
Linear Time 1/2-Approximation Algorithm for Maximum Weighted Matching in General Graphs
pp. 323
Model Checking Lossy Vector Addition Systems
pp. 404
Worst-Case Equilibria
pp. 561
Upper Bounds for Vertex Cover Further Improved
Similar content
3,431
Data mining for response shift patterns in multiple sclerosis patients using recursive partitioning tree analysis.
Authors:
Carolyn Schwartz
,
Yuelin Li
PETRELS: Parallel Subspace Estimation and Tracking by Recursive Least Squares From Partial Observations
Authors:
Yuejie Chi
,
Yonina C. Eldar
,
Robert CALDERBANK
…
Three easy constructions of recursively enumerable sets
Authors:
Carl Jockusch
See all similar
Cited by
6
On Deciding if Deterministic Rabin Language Is in Büchi Class
Authors:
Tomasz Fryderyk Urbański
Characterizing Definability in Decidable Fixpoint Logics
Authors:
Michael Benedikt
,
Pierre Bourhis
,
Michael Boom
Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
Authors:
Gaelle Fontaine
,
Yde Venema
See all cited by