Filter your results
- 3
- 1152
- 483
- 2
- 1
- 3
- 1
- 2
- 1
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
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
Conference papers
hal-01257098v1
|
|||
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer, 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 UnificationProceedings 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
|