Skip to Main content Skip to Navigation


hal-02155500v1  Conference papers
Eric GoubaultJérémy LedentSamuel Mimram. Concurrent specifications beyond linearizability
22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2016.23⟩
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-01615664v1  Conference papers
Dale Miller. Linear logic as a logical framework
Proceedings of Structures and Deduction (SD) 2017, Sep 2017, Oxford, United Kingdom
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
hal-01534587v1  Conference papers
Afaf SaaidiYann PontyBruno Sargueil. An integrative approach for predicting the RNA secondary structure for the HIV–1 Gag UTR using probing data
JOBIM - Journées Ouvertes en Biologie, Informatique et Mathématiques - 2017, Jul 2017, Lille, France. pp.102