Login / Signup
Thomas Nikolajsen
Publication Activity (10 Years)
Years Active: 1989-1989
Publications (10 Years): 0
</>
Publications
</>
Torben Amtoft Hansen
,
Thomas Nikolajsen
,
Jesper Larsson Träff
,
Neil D. Jones
Experiments with Implementations of Two Theoretical Constructions.
Logic at Botik
(1989)