Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Andreas R. Blass, Egon Börger, and Yuri Gurevich. Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101). Dagstuhl Seminar Report 336, pp. 1-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)
@TechReport{blass_et_al:DagSemRep.336, author = {Blass, Andreas R. and B\"{o}rger, Egon and Gurevich, Yuri}, title = {{Theory and Application of Abstract State Machines (Dagstuhl Seminar 02101)}}, pages = {1--40}, ISSN = {1619-0203}, year = {2002}, type = {Dagstuhl Seminar Report}, number = {336}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.336}, URN = {urn:nbn:de:0030-drops-152187}, doi = {10.4230/DagSemRep.336}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Manfred Droste and Yuri Gurevich. Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323). Dagstuhl Seminar Report 65, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1993)
@TechReport{droste_et_al:DagSemRep.65, author = {Droste, Manfred and Gurevich, Yuri}, title = {{Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323)}}, pages = {1--24}, ISSN = {1619-0203}, year = {1993}, type = {Dagstuhl Seminar Report}, number = {65}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.65}, URN = {urn:nbn:de:0030-drops-149534}, doi = {10.4230/DagSemRep.65}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Egon Börger, Yuri Gurevich, Hans Kleine-Büning, and M. M. Richter. Computer Science Logic (Dagstuhl Seminar 9229). Dagstuhl Seminar Report 40, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)
@TechReport{borger_et_al:DagSemRep.40, author = {B\"{o}rger, Egon and Gurevich, Yuri and Kleine-B\"{u}ning, Hans and Richter, M. M.}, title = {{Computer Science Logic (Dagstuhl Seminar 9229)}}, pages = {1--28}, ISSN = {1619-0203}, year = {1992}, type = {Dagstuhl Seminar Report}, number = {40}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.40}, URN = {urn:nbn:de:0030-drops-149288}, doi = {10.4230/DagSemRep.40}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
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)
@TechReport{droste_et_al:DagSemRep.16, author = {Droste, Manfred and Gurevich, Yuri}, title = {{Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126)}}, pages = {1--24}, ISSN = {1619-0203}, year = {1991}, type = {Dagstuhl Seminar Report}, number = {16}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.16}, URN = {urn:nbn:de:0030-drops-149042}, doi = {10.4230/DagSemRep.16}, }
Feedback for Dagstuhl Publishing