The following pages link to Marc Zeitoun (Q814805):
Displayed 19 items.
- Adding Successor (Q4972173) (← links)
- Separating Without Any Ambiguity. (Q5002824) (← links)
- The Complexity of Separation for Levels in Concatenation Hierarchies (Q5090988) (← links)
- On All Things Star-Free (Q5092328) (← links)
- (Q5144616) (← links)
- (Q5155687) (← links)
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (Q5167850) (← links)
- Pebble Weighted Automata and Weighted Logics (Q5169971) (← links)
- (Q5190785) (← links)
- Going Higher in First-Order Quantifier Alternation Hierarchies on Words (Q5244385) (← links)
- Model Checking Software (Q5308368) (← links)
- Distributed Synthesis for Well-Connected Architectures (Q5385996) (← links)
- (Q5429963) (← links)
- Accelerating Interpolation-Based Model-Checking (Q5458343) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465860) (← links)
- LATIN 2004: Theoretical Informatics (Q5901665) (← links)
- How many times do you need to go back to the future in unary temporal logic? (Q6109021) (← links)
- The linear nature of pseudowords (Q6283642) (← links)
- Recognizing pro-R closures of regular languages (Q6319339) (← links)