Searching for authors named "Didier Caucal" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
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
Showing 1 through 9.
