The following pages link to David Janin (Q906980):
Displaying 30 items.
- A syntactic congruence for languages of birooted trees (Q906981) (← links)
- Spatio-temporal domains: an overview (Q1623136) (← links)
- An equational modeling of asynchronous concurrent programming (Q2037432) (← links)
- On labeled birooted tree languages: algebras, automata and logic (Q2347808) (← links)
- The monadic theory of finite representations of infinite words (Q2379951) (← links)
- (Q2762516) (← links)
- Inverse Monoids of Higher-Dimensional Strings (Q2787420) (← links)
- Walking Automata in Free Inverse Monoids (Q2794371) (← links)
- Quasi-recognizable vs MSO Definable Languages of One-Dimensional Overlapping Tiles (Q2912750) (← links)
- Embedding Finite and Infinite Words into Overlapping Tiles (Q2921995) (← links)
- On Languages of One-Dimensional Overlapping Tiles (Q2927650) (← links)
- Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems (Q2938090) (← links)
- Two-way Automata and Regular Languages of Overlapping Tiles (Q3187048) (← links)
- Automata on Directed Graphs: Edge Versus Vertex Marking (Q3541946) (← links)
- Automata for the modal μ-calculus and related results (Q3569045) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- (Q4268462) (← links)
- Permissive strategies: from parity games to safety games (Q4800258) (← links)
- (Q4825712) (← links)
- Overlapping Tile Automata (Q4928506) (← links)
- (Q4941910) (← links)
- (Q5317667) (← links)
- Algebras, Automata and Logic for Languages of Labeled Birooted Trees (Q5327443) (← links)
- Algebraic Tools for the Overlapping Tile Product (Q5404925) (← links)
- ADVANCED SYNCHRONIZATION OF AUDIO OR SYMBOLIC MUSICAL PATTERNS: AN ALGEBRAIC APPROACH (Q5408348) (← links)
- From Asynchronous to Synchronous Specifications for Distributed Program Synthesis (Q5448644) (← links)
- On the (High) Undecidability of Distributed Synthesis Problems (Q5448782) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465855) (← links)
- Fundamentals of Computation Theory (Q5492958) (← links)
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic (Q6104378) (← links)
