Treffer: First order and counting theories of omega-automatic structures

Titel:
First order and counting theories of omega-automatic structures / Dietrich Kuske ; Markus Lohrey
Beteiligt:
Kuske, Dietrich; Lohrey, Markus 
Veröffent­licht:
Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2005
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2005,7

Zusatz-Informationen

Zusatz-Funktionen