Torben Amtoft Hansen

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

Torben Amtoft Hansen
Properties of Unfolding-based Meta-level Systems. PEPM (1991)
Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones
Experiments with Implementations of Two Theoretical Constructions. Logic at Botik (1989)