Diethard Michaelis

According to our database, Diethard Michaelis authored at least 2 papers between 2003 and 2006.

Collaborative distances:

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

2006

Exercises in Quantifier Manipulation.

Roland Carl Backhouse, Diethard Michaelis

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2003

Fixed-Point Characterisation of Winning Strategies in Impartial Games.

Roland Carl Backhouse, Diethard Michaelis

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003