Publication:2723901

From MaRDI portal
Revision as of 14:37, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0964.03013MaRDI QIDQ2723901

Richard Statman

Publication date: 8 July 2001



Mathematics Subject Classification ID

03D40: Word problems, etc. in computability and recursion theory

03B40: Combinatory logic and lambda calculus





Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2723901&oldid=15578221"
Powered by MediaWiki