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):
Displayed 4 items.
- 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 tactic calculus. --- Abridged version (Q1815345) (← links)