Sciweavers

LMCS
2007

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

13 years 10 months ago
Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where LMCS
Authors Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman
Comments (0)