| Documents >> DEA - Lotrec, un outil javanais de traitement formel sur les graphes | Index - David Fauthoux |
| DEA - Lotrec, un outil javanais de traitement formel sur les graphes |
| 2000/06/03 |
| David Fauthoux |
| Lotrec s'inscrit dans un projet d'ouverture aux traitements formels divers sur les graphes, la fondation du projet étant la méthode des tableaux. Il se distingue par la liberté de description du calcul, et il offre une maîtrise du calcul par structures. Ainsi, l'outil se veut prêt à accueillir toutes sortes de logiques en développant la construction de leurs modèles. |
| >> Télécharger >> |