3 results
Encodings of Turing machines in linear logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 4 / April 2020
- Published online by Cambridge University Press:
- 10 June 2020, pp. 379-415
-
- Article
- Export citation
MARGINALIA ON A THEOREM OF WOODIN
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 21 March 2017, pp. 359-374
- Print publication:
- March 2017
-
- Article
- Export citation
Reaction automata working in sequential manner∗∗∗
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 48 / Issue 1 / January 2014
- Published online by Cambridge University Press:
- 21 January 2014, pp. 23-38
- Print publication:
- January 2014
-
- Article
- Export citation