The emptiness problem for automata on infinite trees:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hossley, Robert (VerfasserIn), Rackoff, Charles (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Cambridge, Massachusetts 1972
Schriftenreihe:Massachusetts Institute of Technology <Cambridge, Mass.> / Project MAC: MAC technical memorandum 29
Schlagworte:
Beschreibung:16 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!