Résumé disponible dans les fichiers attaché

Lang, Bernard

Hal-Diderot

Complete evaluation of Horn clauses : an automata theoretic approach

INRIA a CCSD electronic archive server

HAL Id: inria-00075643https://hal.inria.fr/inria-00075643Submitted on 24 May 2006HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.Complete evaluation of Horn clauses : an automatatheoretic approachBernard LangTo cite this version:Bernard Lang. Complete evaluation of Horn clauses : an automata theoretic approach. [ResearchReport] RR-0913, INRIA. 1988. ￿inria-00075643￿

https://hal.inria.fr/inria-00075643/document

Complete evaluation of Horn clauses : an automata theoretic approach

Abstract

Similar works

Full text

Available Versions

Hal-Diderot

INRIA a CCSD electronic archive server