Travelled to:1 × Austria
1 × Germany
1 × Ireland
1 × Italy
Collaborated with:∅ L.Wos
Talks about:lambda (2) circumscript (1) tarskian (1) geometri (1) theorem (1) calculi (1) second (1) prover (1) proof (1) otter (1)
Person: Michael Beeson
DBLP: Beeson:Michael
Contributed to:
201420042001
1998Wrote 4 papers:
- IJCAR-2014-BeesonW #geometry #proving
- OTTER Proofs in Tarskian Geometry (MB, LW), pp. 495–510.
- IJCAR-2004-Beeson #logic
- Lambda Logic (MB), pp. 460–474.
- IJCAR-2001-Beeson #higher-order #proving #theorem proving
- A Second-Order Theorem Prover Applied to Circumscription (MB), pp. 318–324.
- CADE-1998-Beeson #unification #λ-calculus
- Unification in Lambda-Calculi with if-then-else (MB), pp. 103–118.