Pages that link to "Item:Q1283204"
From MaRDI portal
The following pages link to Metalogical frameworks. II: Developing a reflected decision procedure (Q1283204):
Displaying 7 items.
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Structured proof procedures (Q1924823) (← links)
- On Metalogical Relativism (Q5258985) (← links)
- Theorem Proving in Higher Order Logics (Q5464643) (← links)
- STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-<i>L</i> (Q6051424) (← links)
- On extensibility of proof checkers (Q6061878) (← links)