Logspace reducibility via abstract state machines
Grädel, Erich; Spielmann, Marc
Berlin [u.a.] : Springer (1999)
Buchbeitrag, Beitrag zu einem Tagungsband
In: Formal methods : proceedings / FM '99, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999. Jeannette M. Wing ... (eds.). - Vol. 2
Seite(n)/Artikel-Nr.: 1738-1757
Identifikationsnummern
- DOI: 10.1007/3-540-48118-4_42
- RWTH PUBLICATIONS: RWTH-CONV-205298