Pages that link to "Item:Q1319387"
From MaRDI portal
The following pages link to \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations (Q1319387):
Displaying 5 items.
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- The calculus of constructions as a framework for proof search with set variable instantiation (Q1575927) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Proof search with set variable instantiation in the Calculus of Constructions (Q4647555) (← links)
- Layered map reasoning (Q4923516) (← links)
