Logspace reducibility via abstract state machines

Grädel, Erich; Spielmann, Marc

Berlin [u.a.] / Springer (1999) [Contribution to a book, Contribution to a conference proceedings]

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
Page(s): 1738-1757

Identifier