Le moteur de recherche
des thèses françaises
Sylvain Schmitz
IdRefMots clés
FR |
EN
Logique informatique
XPath
XPath (langage de programmation)
Bases de données -- Interrogation
Recherche de preuve
Logique de données
Hyperséquent
Benchmark
Satisfiabilité
Nombres ordinaux
Pertinence (logique)
Vérification de modèles (informatique)
Réseaux de Petri
Mesures complexes
Complexité des certificats
Signatures de l'hypercube
Jeux à deux joueurs
Complexité de calcul (informatique)
Fonctions booléennes
Hypercube