Keyword:unification

Papers
Partial Regularization of First-Order Resolution Proofs Jan Gorzny, Ezequiel Postan and Bruno Woltzenlogel Paleo EasyChair Preprint no. 360
Efficiency of a good but not linear nominal unification algorithm Weixi Ma, Jeremy Siek, David Christiansen and Daniel Friedman EasyChair Preprint no. 243
Logtk : A Logic ToolKit for Automated Reasoning and its Implementation Simon Cruanes In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Recent Advances in Unification for the EL Family Franz Baader, Stefan Borgwardt and Barbara Morawska In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Is it possible to unify sequential programs? Tatyana Novikova and Vladimir Zakharov In:UNIF 2013. 27th International Workshop on Unification
Hierarchical Combination of Unication Algorithms (Extended Abstract) Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran and Christophe Ringeissen In:UNIF 2013. 27th International Workshop on Unification
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska In:UNIF 2013. 27th International Workshop on Unification