Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

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

Résumé : 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.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00295284
Contributor : Thèses Imag <>
Submitted on : Friday, July 11, 2008 - 2:45:59 PM
Last modification on : Thursday, January 11, 2018 - 6:20:26 AM
Document(s) archivé(s) le : Friday, May 28, 2010 - 9:43:19 PM

Identifiers

  • HAL Id : tel-00295284, version 1

Collections

Citation

Dominique Borrione. Langages de description de systèmes logiques : propositions pour une méthode formelle de définition. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1981. ⟨tel-00295284⟩

Share

Metrics

Record views

321

Files downloads

73