Pages that link to "Item:Q1311396"

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)