The following pages link to ETPS (Q18433):
Displaying 7 items.
- Frontiers of Combining Systems (Q5491890) (← links)
- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (Q5747766) (← links)
- A partial functions version of Church's simple theory of types (Q5753924) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900827) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)
- Evaluation of anonymity and confidentiality protocols using theorem proving (Q5962971) (← links)