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

José Meseguer

doi:10.1007/3-540-10699-5_96

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Formalization of Programming Concepts - International Colloquium, Proceedings
Editors	Josep Díaz, Isidro Ramos
Publisher	Springer
Pages	152-168
Number of pages	17
ISBN (Print)	9783540106999
DOIs	https://doi.org/10.1007/3-540-10699-5_96
State	Published - 1981
Externally published	Yes
Event	1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981 - Peniscola, Spain Duration: Apr 19 1981 → Apr 25 1981

Publication series

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

Other

Other	1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981
Country/Territory	Spain
City	Peniscola
Period	4/19/81 → 4/25/81

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/3-540-10699-5_96

Library availability

Discover UIUC Full Text

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. 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, José.
Formalization of Programming Concepts - International Colloquium, Proceedings. ed. / Josep Díaz; Isidro Ramos. Springer, 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 proceeding › Conference 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, 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. 1981. p. 152-168. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-10699-5_96

Meseguer, José. / 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, 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 = "Jos{\'e} Meseguer",

note = "Funding Information: *Supported in part by Office of Naval Research contract No. N00014-80-C-0296; 1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981 ; Conference date: 19-04-1981 Through 25-04-1981",

year = "1981",

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",

pages = "152--168",

editor = "Josep D{\'i}az and Isidro Ramos",

booktitle = "Formalization of Programming Concepts - International Colloquium, Proceedings",

address = "Germany",

}

TY - GEN

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

T2 - 1st International Colloquium on the Formalization of Programming Concepts, ICFPC 1981

AU - Meseguer, José

N1 - Funding Information: *Supported in part by Office of Naval Research contract No. N00014-80-C-0296

PY - 1981

Y1 - 1981

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

Y2 - 19 April 1981 through 25 April 1981

ER -

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

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this