Travelled to:1 × Austria
1 × Germany
Collaborated with:P.Baumgartner U.Waldmann
Talks about:hierarch (2) theorem (2) superposit (1) quantif (1) prover (1) prove (1) finit (1) beagl (1)
Person: Joshua Bax
DBLP: Bax:Joshua
Contributed to:
2015
2014Wrote 2 papers:
- CADE-2015-BaumgartnerBW #named #proving #theorem proving
- Beagle — A Hierarchic Superposition Theorem Prover (PB, JB, UW), pp. 367–377.
- IJCAR-2014-BaumgartnerBW #finite #proving #quantifier #theorem proving
- Finite Quantification in Hierarchic Theorem Proving (PB, JB, UW), pp. 152–167.