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-Verlag
Pages152-168
Number of pages17
ISBN (Print)9783540106999
DOIs
StatePublished - Jan 1 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
CountrySpain
CityPeniscola
Period4/19/814/25/81

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Meseguer, J. (1981). A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot. In J. Díaz, & I. Ramos (Eds.), Formalization of Programming Concepts - International Colloquium, Proceedings (pp. 152-168). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 107 LNCS). Springer-Verlag. https://doi.org/10.1007/3-540-10699-5_96

A birkhoff-like theorem for algebraic classes of interpretations of program schemes : For calvin elgot. / Meseguer, Jose.

Formalization of Programming Concepts - International Colloquium, Proceedings. ed. / Josep Díaz; Isidro Ramos. Springer-Verlag, 1981. p. 152-168 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 107 LNCS).

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

Meseguer, J 1981, A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot. in J Díaz & I Ramos (eds), Formalization of Programming Concepts - International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 107 LNCS, Springer-Verlag, pp. 152-168, 1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981, Peniscola, Spain, 4/19/81. https://doi.org/10.1007/3-540-10699-5_96
Meseguer J. A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot. In Díaz J, Ramos I, editors, Formalization of Programming Concepts - International Colloquium, Proceedings. Springer-Verlag. 1981. p. 152-168. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-10699-5_96
Meseguer, Jose. / A birkhoff-like theorem for algebraic classes of interpretations of program schemes : For calvin elgot. Formalization of Programming Concepts - International Colloquium, Proceedings. editor / Josep Díaz ; Isidro Ramos. Springer-Verlag, 1981. pp. 152-168 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{b1093ce30e0840799b6aeb32d1b3fc16,
title = "A birkhoff-like theorem for algebraic classes of interpretations of program schemes: For calvin elgot",
author = "Jose Meseguer",
year = "1981",
month = "1",
day = "1",
doi = "10.1007/3-540-10699-5_96",
language = "English (US)",
isbn = "9783540106999",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "152--168",
editor = "Josep D{\'i}az and Isidro Ramos",
booktitle = "Formalization of Programming Concepts - International Colloquium, Proceedings",

}

TY - GEN

T1 - A birkhoff-like theorem for algebraic classes of interpretations of program schemes

T2 - For calvin elgot

AU - Meseguer, Jose

PY - 1981/1/1

Y1 - 1981/1/1

UR - http://www.scopus.com/inward/record.url?scp=0019652027&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0019652027&partnerID=8YFLogxK

U2 - 10.1007/3-540-10699-5_96

DO - 10.1007/3-540-10699-5_96

M3 - Conference contribution

AN - SCOPUS:0019652027

SN - 9783540106999

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 152

EP - 168

BT - Formalization of Programming Concepts - International Colloquium, Proceedings

A2 - Díaz, Josep

A2 - Ramos, Isidro

PB - Springer-Verlag

ER -