Pages that link to "Item:Q1311396"
From MaRDI portal
The following pages link to Implementing tactics and tacticals in a higher-order logic programming language (Q1311396):
Displaying 8 items.
- Tactics for hierarchical proof (Q626933) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- The calculus of constructions as a framework for proof search with set variable instantiation (Q1575927) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- A tactic calculus. --- Abridged version (Q1815345) (← links)
- A metatheory of a mechanized object theory (Q2676562) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
