`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:

### Wrote 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.