Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:A.Leitsch S.Hetzl G.Reis J.Tapolczai T.Dunchev T.Libal B.W.Paleo
Talks about:system (2) transform (1) quantifi (1) introduc (1) descript (1) proof (1) logic (1) equal (1) cere (1) cut (1)
Person: Daniel Weller
DBLP: Weller:Daniel
Contributed to:
20142010Wrote 2 papers:
- IJCAR-2014-HetzlLRTW #logic #quantifier #similarity
- Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.
- IJCAR-2010-DunchevLLWP #proving
- System Description: The Proof Transformation System CERES (TD, AL, TL, DW, BWP), pp. 427–433.