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 |
|
Redaktionelle Details anzeigen |