Pages that link to "Item:Q1341710"
From MaRDI portal
The following pages link to An overview of the Tecton proof system (Q1341710):
Displaying 7 items.
- Tecton (Q40619) (← links)
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- An overview of the Tecton proof system (Q1341710) (← links)
- Constraint contextual rewriting. (Q1404984) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)
- An approach to literate and structured formal developments (Q1911317) (← links)
- New uses of linear arithmetic in automated theorem proving by induction (Q1915133) (← links)
