Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:∅ T.Dunchev A.Leitsch D.Weller B.W.Paleo
Talks about:system (2) transform (1) descript (1) regular (1) pattern (1) second (1) proof (1) order (1) unif (1) cere (1)
Person: Tomer Libal
DBLP: Libal:Tomer
Contributed to:
2015
2010Wrote 2 papers:
- CADE-2015-Libal #higher-order #unification
- Regular Patterns in Second-Order Unification (TL), pp. 557–571.
- IJCAR-2010-DunchevLLWP #proving
- System Description: The Proof Transformation System CERES (TD, AL, TL, DW, BWP), pp. 427–433.