Pages that link to "Item:Q1349246"
From MaRDI portal
The following pages link to Formalizing non-termination of recursive programs (Q1349246):
Displaying 5 items.
- Axioms for strict and lazy functional programs (Q1772783) (← links)
- Termination Proofs for Recursive Functions in FoCaLiZe (Q2814388) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077) (← links)