Search - Archive ouverte HAL Access content directly

Filter your results

3 Results
Deposit type : Annex

Opinions and Beliefs as constraint system operators

Salim Perchy , Frank Valencia
Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Aug 2015, Cork, Ireland. pp.1
Conference papers hal-01257098v1

Formal Techniques for Distributed Objects, Components, and Systems

Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Books hal-01398026v1

Regular Patterns in Second-Order Unification

Tomer Libal
Proceedings of CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, Aug 2015, Berlin, Germany. ⟨10.1007/978-3-319-21401-6_38⟩
Conference papers hal-01242215v1