Evolving Algebras and Linear Time Hierarchy
- Andreas Blass ,
- Yuri Gurevich
IFIP 1994 World Computer Congress, Volume I: Technology and Foundations, North-Holland, Amsterdam. |
This publication is a precursor to The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs.