Knowledge Tree

researcher / G. Ferrand

G. Ferrand

at_id:

orcid_id:

Disciplines:

Applied sciences

Edit Merge See Links

Directed Thesis:

Modularité, validation et parallélisme de données en programmation logique

Verification des programmes normaux

Méthodes de résolution de disjonctions de contraintes linéaires : application à la programmation logique avec contraintes

Approche uniforme de la semantique de fitting et de la semantique bien fondee : application a la validation de programmes logiques

Specifications formelles et executables en programmation en logique : application a la standardisation de prolog