TU Darmstadt / ULB / TUbiblio

Universality results for models in locally boolean domains

Loew, Tobias ; Streicher, Thomas (2006)
Universality results for models in locally boolean domains.
20th international workshop (CSL 2006). Szeged, Hungary (25.09.2006-29.09.2006)
doi: 10.1007/11874683_30
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2006
Autor(en): Loew, Tobias ; Streicher, Thomas
Art des Eintrags: Bibliographie
Titel: Universality results for models in locally boolean domains
Sprache: Englisch
Publikationsjahr: 2006
Ort: Berlin
Verlag: Springer
Buchtitel: Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Reihe: Lecture Notes in Computer Science
Band einer Reihe: 4207
Veranstaltungstitel: 20th international workshop (CSL 2006)
Veranstaltungsort: Szeged, Hungary
Veranstaltungsdatum: 25.09.2006-29.09.2006
DOI: 10.1007/11874683_30
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:25
Letzte Änderung: 29 Nov 2024 13:46
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