Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Ontology-Mediated Query Answering with OWL 2 QL Ontologies: Combined Complexity and Succinctness of Rewritings
1 avril 2019
Meghyn Bienvenu
(CNRS - LABRI)
TBA
Navigation de l’article
The Automotive Analytics Factory as a Big Data Concept
Bornes inférieures dans les circuits arithmétiques : un focus sur la profondeur constante
