Searching for authors named "Didier Caucal" – sorted by Relevance.
-
Bisimulation Of Context-Free Grammars And Of Pushdown Automata
- BISIMULATION OF CONTEXT-FREE GRAMMARS AND OF PUSHDOWN AUTOMATA Didier Caucal IRISA, Campus de
- Cited by 14 (1 self) – Add To MetaCart
-
On Infinite Transition Graphs Having A Decidable Monadic Theory
- ON INFINITE TRANSITION GRAPHS HAVING A DECIDABLE MONADIC THEORY Didier Caucal IRISA, Campus de
- Cited by 75 (2 self) – Add To MetaCart
-
Boolean algebras of unambiguous context-free languages
- in the generated graph have distinct labels. More c○ Didier Caucal; licensed under Creative Commons License
- Add To MetaCart
-
On a Chomsky like Hierarchy of Infinite Graphs
- On a Chomskylike Hierarchy of Innite Graphs Didier Caucal 1 and Teodor Knapik 2 1 IRISACNRS
- Add To MetaCart
-
The Kleene equality for graphs
- The Kleene equality for graphs Arnaud Carayol and Didier Caucal Irisa, Campus de Beaulieu, 35042
- Cited by 1 (0 self) – Add To MetaCart
-
Verification on Infinite Structures
- Baroper Strae 301 D-442 21 Dortmund GERMANY !burkart@(email omitted);? Didier Caucal IRISA Campus de
- Cited by 40 (2 self) – Add To MetaCart
-
Bisimulation Collapse and the Process Taxonomy
- Bisimulation Collapse and the Process Taxonomy Olaf Burkart ?1 , Didier Caucal ??1 and Bernhard
- Cited by 34 (1 self) – Add To MetaCart
-
On Internal Presentation of Regular Graphs
- On Internal Presentation of Regular Graphs Didier Caucal 1 and Teodor Knapik 2 1 IRISACNRS
- Add To MetaCart
-
An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes
- Lehrstuhl fur Informatik II RWTH Aachen Ahornstrae 55 52074 Aachen Germany Didier Caucal y IRISA Campus de
- Cited by 13 (2 self) – Add To MetaCart

