Skip to Main content Skip to Navigation


hal-01242215v1  Conference papers
Tomer Libal. Regular Patterns in Second-Order Unification
Proceedings of CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.1007/978-3-319-21401-6_38⟩
hal-01257098v1  Conference papers
Salim PerchyFrank Valencia. Opinions and Beliefs as constraint system operators
Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. pp.1