The linear time hierarchy theorems for Abstract State Machines (1997)

by Andreas Blass , Yuri Gurevich
Venue:J. Universal Computer Science
Citations:7 - 1 self