Skip to content

Presentation
- Organisation chart
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Members
Publications
Seminar
Contact
- How to get here?
Log In

Presentation
- Organisation chart
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Members
Publications
Seminar
Contact
- How to get here?
Log In

Publications

Publications
Filtres

Contact

Disciplines

Mots-clefs

Auteurs

Revues

Année de production

Institutions

Laboratoires

Départements

Équipes de recherche

documents

Documents récupérés de l'archive ouverte HAL

Next seminars

Completeness for Identity-free Kleene Lattices
March 25, 2019
Amina Doumane
Ontology-Mediated Query Answering with OWL 2 QL Ontologies: Combined Complexity and Succinctness of Rewritings
April 1, 2019
Meghyn Bienvenu
The recurrence function of a random Sturmian word
April 8, 2019
Pablo Rotondo

© 2019 LACL