- Event clock message passing automata: a logical characterization and an emptiness checking algorithm S. Akshay Benedikt Bollig Paul Gastin Fri 22 February 2013
- A Logical Characterisation of Event Clock Automata Deepak D'souza Fri 22 February 2013
- Message-passing automata are expressively equivalent to EMSO logic Benedikt Bollig Martin Leucker Mon 28 May 2012
- Message-Passing Automata Are Expressively Equivalent to EMSO Logic Benedikt Bollig Martin Leucker Mon 28 May 2012
- Monadic second order logic on tree-like structures Igor Walukiewicz Sat 19 May 2012
- Monadic second-order logic on tree-like structures Igor Walukiewicz Sat 19 May 2012
- Prefix-Recognisable Graphs and Monadic Second-Order Logic Achim Blumensath Sat 19 May 2012
- The Monadic Theory of Order Saharon Shelah Mon 14 May 2012
- On logics, tilings, and automata Wolfgang Thomas Mon 14 May 2012
- On the regular structure of prefix rewriting Didier Caucal Mon 14 May 2012
- On the regular structure of prefix rewriting Didier Caucal Mon 14 May 2012
- Automata for Branching and Layered Temporal Structures G. Puppis Mon 14 May 2012
- On decidability of monadic logic of order over the naturals extended by monadic predicates Alexander Rabinovich Sat 12 May 2012
- The Monadic Theory of Morphic Infinite Words and Generalizations Olivier Carton Wolfgang Thomas Sat 12 May 2012
- A Contraction Method to Decide MSO Theories of Deterministic Trees Angelo Montanari Gabriele Puppis Wed 09 May 2012
- On infinite transition graphs having a decidable monadic theory Didier Caucal Tue 08 May 2012
- Constructing Infinite Graphs with a Decidable MSO-Theory Wolfgang Thomas Tue 08 May 2012
- Decidability of MSO Theories of Tree Structures A. Montanari G. Puppis Tue 08 May 2012
- On infinite transition graphs having a decidable monadic theory Didier Caucal Fri 27 April 2012
- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects Bruno Courcelle Fri 27 April 2012
- On Infinite Terms Having a Decidable Monadic Theory Didier Caucal Fri 27 April 2012
- Deciding monadic theories of hyperalgebraic trees Teodor Knapik Damian Niwinski Paweł Urzyczyn Thu 12 April 2012
- Decidability of second-order theories and automata on infinite trees Michael O. Rabin Mon 12 March 2012
- The theory of ends, pushdown automata, and second-order logic David E. Muller Paul E. Schupp Tue 06 March 2012
Library Size: 13G (24 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
