Published March 1988
| public
Journal Article
A simple decision procedure for Hofstadter's Mitt-system
- Creators
- Swanson, Laif
- McEliece, Robert J.
Chicago
An error occurred while generating the citation.
Abstract
[no abstract]
Additional Information
© 1988 Springer Science+Business Media, Inc.Additional details
- Eprint ID
- 101258
- Resolver ID
- CaltechAUTHORS:20200212-160015802
- Created
-
2020-02-13Created from EPrint's datestamp field
- Updated
-
2021-11-16Created from EPrint's last_modified field