Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)

Droste, Manfred; Gurevich, Yuri

doi:10.4230/DagSemRep.16

Document

Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)

Authors Manfred Droste, Yuri Gurevich

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 1991-11-01

PDF

File

DagSemRep.16.pdf

Filesize: 4.49 MB
24 pages

Document Identifiers

DOI: 10.4230/DagSemRep.16
URN: urn:nbn:de:0030-drops-149042

Author Details

Manfred Droste

Yuri Gurevich

Cite AsGet BibTex

Manfred Droste and Yuri Gurevich. Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126). Dagstuhl Seminar Report 16, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1991)
https://doi.org/10.4230/DagSemRep.16

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views