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.

To Dexter - A Tribute from Aarhus

Erik Meineche Schmidt, Mogens Nielsen, Sven Skyum. To Dexter - A Tribute from Aarhus. In Robert L. Constable, Alexandra Silva, editors, Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Volume 7230 of Lecture Notes in Computer Science, pages 341, Springer, 2012. [doi]

Authors

Erik Meineche Schmidt

This author has not been identified. Look up 'Erik Meineche Schmidt' in Google

Mogens Nielsen

This author has not been identified. Look up 'Mogens Nielsen' in Google

Sven Skyum

This author has not been identified. Look up 'Sven Skyum' in Google
runs on