Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1984

Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire)

Yves Bekkers
  • Function : Author
Bernard Canet
  • Function : Author
Olivier Ridoux
Lucien Ungaro
  • Function : Author

Abstract

Disponible dans les fichiers attachés à ce document

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0283.pdf (3.19 Mo) Télécharger le fichier

Dates and versions

inria-00076275 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00076275 , version 1

Cite

Yves Bekkers, Bernard Canet, Olivier Ridoux, Lucien Ungaro. Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire). [Rapport de recherche] RR-0283, INRIA. 1984. ⟨inria-00076275⟩
57 View
30 Download

Share

Gmail Facebook Twitter LinkedIn More