External Links

Cite Key

Statistics

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

PDF

Tags

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.

Computer Science Logic, 11th International Workshop, CSL 97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers

Mogens Nielsen, Wolfgang Thomas, editors, Computer Science Logic, 11th International Workshop, CSL 97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers. Volume 1414 of Lecture Notes in Computer Science, Springer, 1998.

Conference: csl1998

Editors

Mogens Nielsen

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

Wolfgang Thomas

This author has not been identified. Look up 'Wolfgang Thomas' in Google
runs on