Complexity of formal translations and speed-up results:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Constable, Robert Lee 1952- (VerfasserIn), Hartmanis, Juris (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Ithaca, New York 1970
Schriftenreihe:Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 85
Beschreibung:S. 244 - 250

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!