相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。The fixed point problem of a simple reversible language
Armando B. Matos et al.
THEORETICAL COMPUTER SCIENCE (2020)
A class of Recursive Permutations which is Primitive Recursive complete
Luca Paolini et al.
THEORETICAL COMPUTER SCIENCE (2020)
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions
Luca Paolini et al.
NEW GENERATION COMPUTING (2018)
User interaction with the matita proof assistant
Andrea Asperti et al.
JOURNAL OF AUTOMATED REASONING (2007)
Linear programs in a simple reversible language
AB Matos
THEORETICAL COMPUTER SCIENCE (2003)