TU Darmstadt / ULB / TUbiblio

Bisimulation invariance and finite models

Otto, Martin :
Bisimulation invariance and finite models.
In: 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 . Association for Symbolic Logic , La Jolla, Calif
[Konferenz- oder Workshop-Beitrag], (2006)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2006
Autor(en): Otto, Martin
Titel: Bisimulation invariance and finite models
Sprache: Englisch
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
Ort: La Jolla, Calif
Verlag: Association for Symbolic Logic
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:24
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen