author : Marc Spielmann

Short works

• Logspace Reducibility via Abstract State Machines. 1999. (In FM'99 volume 2 )