RAM with Compact Memory: A Realistic and Robust Model of Computation

• Authors:

• Etienne Grandjean;J. M. Robson

• Affiliations:

• -;-

• Venue:
• CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
• Year:
• 1990