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 12 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)
- Representing proof transformations for program optimization (Q5210798) (← links)
- Tactic theorem proving with refinement-tree proofs and metavariables (Q5210800) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Higher-order annotated terms for proof search (Q6567727) (← links)
