External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Experiments with Implementations of Two Theoretical Constructions

Torben Amtoft Hansen, Thomas Nikolajsen, Jesper Larsson Träff, Neil D. Jones. Experiments with Implementations of Two Theoretical Constructions. In Albert R. Meyer, Michael A. Taitslin, editors, Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Volume 363 of Lecture Notes in Computer Science, pages 119-133, Springer, 1989.

Authors

Torben Amtoft Hansen

This author has not been identified. Look up 'Torben Amtoft Hansen' in Google

Thomas Nikolajsen

This author has not been identified. Look up 'Thomas Nikolajsen' in Google

Jesper Larsson Träff

This author has not been identified. Look up 'Jesper Larsson Träff' in Google

Neil D. Jones

Identified as Neil D. Jones
runs on