Max Michel

According to our database, Max Michel authored at least 4 papers between 1984 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Unambiguous Büchi Automata.

Olivier Carton, Max Michel

Proceedings of the LATIN 2000: Theoretical Informatics, 2000

1988

Interval Logics and Sequential Transducers.

Max Michel, Jean-Bernard Stefani

Proceedings of the CAAP '88, 1988

1984

Algebre de machines et logique temporelle.

Max Michel

Proceedings of the STACS 84, 1984

Many-Sorted Temporal Logic for Multi-Processes Systems.

Patrice Enjalbert, Max Michel

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984