Return to search

Langages de description de systèmes logiques : propositions pour une méthode formelle de définition

Réflexion théorique visant à dégager les principes communs à la très grande majorité des langages de description de systèmes logiques. Presentation de CONLAN. Exposé d'un modèle d'évaluation permettant de spécifier l'interprétation des primitives d'un langage de description de systèmes logiques.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00295284
Date01 July 1981
CreatorsBorrione, Dominique
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
Typehabilitation ࠤiriger des recherches

Page generated in 0.0017 seconds