The notion of a Framework and a framework for LTC

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Authors:
  • Paul F Mendler
  • Peter Aczel

Bibliographical metadata

Original languageEnglish
Title of host publicationLICS
PublisherIEEE Computer Society
Pages392-399
Number of pages8
Publication statusPublished - 1988
EventProceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK -
Event duration: 1 Jan 1824 → …
http://dblp.uni-trier.de/db/conf/lics/lics88.html#MendlerA88http://dblp.uni-trier.de/rec/bibtex/conf/lics/MendlerA88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lics/MendlerA88

Conference

ConferenceProceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK
Period1/01/24 → …
Internet address