Swanson, Laif and McEliece, Robert J. (1988) A simple decision procedure for Hofstadter’s Mitt-system. The Mathematical Intelligencer, 10 (2). pp. 48-49. ISSN 0343-6993. doi:10.1007/bf03028356. https://resolver.caltech.edu/CaltechAUTHORS:20200212-160015802
Full text is not posted in this repository. Consult Related URLs below.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20200212-160015802
Abstract
[no abstract]
Item Type: | Article | ||||||
---|---|---|---|---|---|---|---|
Related URLs: |
| ||||||
Additional Information: | © 1988 Springer Science+Business Media, Inc. | ||||||
Subject Keywords: | Positive Integer; Central Position; Decision Procedure; Formal Language; Basic Book | ||||||
Issue or Number: | 2 | ||||||
DOI: | 10.1007/bf03028356 | ||||||
Record Number: | CaltechAUTHORS:20200212-160015802 | ||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20200212-160015802 | ||||||
Official Citation: | Swanson, L. & McEliece, R.J. The Mathematical Intelligencer (1988) 10: 48. https://doi.org/10.1007/BF03028356 | ||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||
ID Code: | 101258 | ||||||
Collection: | CaltechAUTHORS | ||||||
Deposited By: | Tony Diaz | ||||||
Deposited On: | 13 Feb 2020 00:14 | ||||||
Last Modified: | 16 Nov 2021 18:01 |
Repository Staff Only: item control page