A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot

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

Original languageEnglish (US)
Title of host publicationFormalization of Programming Concepts - International Colloquium, Proceedings
EditorsJosep Díaz, Isidro Ramos
PublisherSpringer
Pages152-168
Number of pages17
ISBN (Print)9783540106999
DOIs
StatePublished - 1981
Externally publishedYes
Event1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981 - Peniscola, Spain
Duration: Apr 19 1981Apr 25 1981

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume107 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981
Country/TerritorySpain
CityPeniscola
Period4/19/814/25/81

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Cite this