TU Darmstadt / ULB / TUbiblio

Bisimulation invariance and finite models

Otto, Martin (2006)
Bisimulation invariance and finite models.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2006
Autor(en): Otto, Martin
Art des Eintrags: Bibliographie
Titel: Bisimulation invariance and finite models
Sprache: Englisch
Publikationsjahr: 2006
Ort: La Jolla, Calif
Verlag: Association for Symbolic Logic
Reihe: Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers. - La Jolla
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:24
Letzte Änderung: 05 Mär 2013 09:09
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen