Accéder au guichet d’assistance de l'Abes
Accéder à la documentation de theses.fr
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Marian
Vittek
IdRef
Mots clés
FR
Programmation logique
Langage programmation
Sémantique
Réécriture
Contrainte
Prise décision
Unification
Règle production
Non déterminisme
Implémentation
Cadre logique
Sémantique opérationnelle
Elan
Logical programming
Programming language
Semantics
Réécriture, Systèmes de (informatique)
Auteur / Autrice de 1 thèse(s)