Pages that link to "Item:Q3766888"
From MaRDI portal
The following pages link to A Mechanical Proof of the Unsolvability of the Halting Problem (Q3766888):
Displaying 6 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- The problem of induction (Q1319388) (← links)
- The origins of the halting problem (Q2043819) (← links)
- Formalization of the computational theory of a Turing complete functional language model (Q2102949) (← links)
- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (Q5747766) (← links)
- A theorem prover for a computational logic (Q6488518) (← links)