The following pages link to Ergo 6 (Q30420):
Displaying 6 items.
- Axiomatisation of an interval calculus for theorem proving (Q2703744) (← links)
- Using theory interpretation to mechanise the reals in a theorem prover (Q2703760) (← links)
- (Q4370265) (← links)
- (Q4370272) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900952) (← links)