Mikolaj Bojanczyk  Home/Search
Context
Related
| mimuw.edu.pl/~bojan/pap...csl2004.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mimuw.edu.pl/~bojan/papers/ (more) Homepages: M.Bojanczyk |
Rate this article:      (best)Comment on this article |
Abstract: The logic MSOL+B is defined, by extending monadic second-order logic on the infinite binary tree with a new bounding quantifier B. In this logic, a formula... (Update)
Similar documents based on text: More All
1.4: A Bounding Quantifier - Bojanczyk (Correct)
0.6: The Finite Graph Problem for Two-Way Alternating Automata - Bojanczyk (Correct)
0.5: Two-Way Alternating Automata and Finite Models - Bojanczyk (Correct)
BibTeX entry: (Update)
@misc{ bojanczyk-bounding,
author = "Miko\laj Boja\'nczyk",
title = "A Bounding Quantifier",
url = "citeseer.ist.psu.edu/bojanczyk04bounding.html" }
Citations (may not include all citations):241 Decidability of second-order theories and automata on in nit.. (context) - Rabin - 1969
78 a problem of formal logic (context) - Ramsey - 1930
56 Reasoning about the past with two-way automata - Vardi - 1998
11 Decidability and undecidability of extensions of second (context) - Elgot, Rabin - 1966
10 When can an equational simple graph be generated by hyperedg.. - Barthelmann - 1998
7 Pushdown games with unboundedness and regular conditions (context) - Bouquet, Serre et al. - 2003
5 Parikh automata and monadic secondorder logics with linear .. - Klaedtke, Ruess - 2002
5 The monadic theory of morphic in nite words and generalizati.. (context) - Carton, Thomas - 2000
3 nite graph problem for two-way alternating automata (context) - Bojaczyk - 2003
3 American Mathematical Society (context) - Rabin, In et al. - 1972
2 Two-way alternating automata and nite models (context) - Bojaczyk - 2002
2 nite trees recognizable by in nite automata (context) - Niwiski, cardinality et al. - 1991
Documents on the same site (http://www.mimuw.edu.pl/~bojan/papers/): More
The Finite Graph Problem for Two-Way Alternating Automata - Bojanczyk (Correct)
Two-Way Alternating Automata and Finite Models - Bojanczyk (Correct)
A Bounding Quantifier - Bojanczyk (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC