TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2007 | 2006 | 2005 | 2004
Anzahl der Einträge: 6.

2007

Otto, Martin (2007)
Model theory of modal logic.
In: Handbook of modal logic
Buchkapitel, Bibliographie

2006

Otto, Martin (2006)
Bisimulation invariance and finite models.
Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum. Münster (03.08.2002-11.08.2002)
doi: 10.1017/9781316755723.013
Konferenzveröffentlichung, Bibliographie

Otto, Martin (2006)
The boundedness problem for monadic universal first-order logic.
21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006). Seattle, WA (12.08.2006-15.08.2006)
doi: https://doi.ieeecomputersociety.org/10.1109/LICS.2006.50
Konferenzveröffentlichung, Bibliographie

2005

Dawar, A. ; Otto, Martin (2005)
Modal characterisation theorems over special classes of frames.
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05). Chicago, IL, USA (26.06.2005-29.06.2005)
doi: 10.1109/LICS.2005.27
Konferenzveröffentlichung, Bibliographie

Kieronski, E. ; Otto, Martin (2005)
Small substructures and decidability issues for two-variable first-order logic.
20th IEEE symposium on logic in computer science (LICS 05). Chicago, IL, USA (26.06.2005-29.06.2005)
doi: 10.1109/LICS.2005.49
Konferenzveröffentlichung, Bibliographie

2004

Otto, Martin (2004)
Modal and guarded characterisation theorems over finite transition systems.
In: Annals of pure and applied logic (0168-0072), 130
Artikel, Bibliographie

Diese Liste wurde am Tue Jan 21 03:12:10 2025 CET generiert.