Morten Biehl

According to our database, Morten Biehl authored at least 2 papers in 1996.

Collaborative distances:

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

1996

Algorithms for Guided Tree Automata.

Morten Biehl, Nils Klarlund, Theis Rauhe

Proceedings of the Automata Implementation, 1996

Mona: Decidable Arithmetic in Practice.

Morten Biehl, Nils Klarlund, Theis Rauhe

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996