Morten Biehl

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Morten Biehl, Nils Klarlund, Theis Rauhe
Algorithms for Guided Tree Automata. Workshop on Implementing Automata (1996)
Morten Biehl, Nils Klarlund, Theis Rauhe
Mona: Decidable Arithmetic in Practice. FTRTFT (1996)