Elsa L. Gunter, Amy Felty

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish (US)
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - Jan 1 1997
Externally publishedYes
Event10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 1997 - Murray Hill, United States
Duration: Aug 19 1997Aug 22 1997

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this