Knowledge Tree

researcher / Daniel Herman

Daniel Herman

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Programmation en logique et compilation de protocoles : le simulateur Véda

Mise en oeuvre de datalog sur une architecture parallele

Conception et realisation d'une machine de traitement d'arbres : la gestion de la memoire d'arbres

Conception et realisation d'une machine de traitement d'arbres : le langage de la machine et son interpretation

Construction et verification de figures geometriques dans le systeme mentoniezh

Modélisation de mécanismes de filtrage par arbres et par traits dans les grammaires logiques pour l'analyse automatique du langage naturel

Mise en oeuvre de prologii/mali

Raisonnement non-monotone : contribution a l'etude de la circonscription

Programmation en logique et compilation de protocoles : le simulateur veda

Couplage prolog/bases de donnees relationnelles : un modele asynchrone

Gestion de memoire temps-reel des langages de programmation relationnelle