Dawar, A. ; Otto, Martin (2005)
Modal characterisation theorems over special classes of frames.
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 2005 |
Autor(en): | Dawar, A. ; Otto, Martin |
Art des Eintrags: | Bibliographie |
Titel: | Modal characterisation theorems over special classes of frames |
Sprache: | Englisch |
Publikationsjahr: | 2005 |
Reihe: | LICS 05 : proceedings of 20th IEEE symposium on logic in computer science. - 2005, S. 21-30 |
Fachbereich(e)/-gebiet(e): | 04 Fachbereich Mathematik |
Hinterlegungsdatum: | 20 Nov 2008 08:22 |
Letzte Änderung: | 05 Mär 2013 09:07 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |