The halting problem of one binary Horn ...
Type de document :
Communication dans un congrès avec actes
Titre :
The halting problem of one binary Horn clause is undecidable
Auteur(s) :
Devienne, Philippe [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Lebègue, Patrick [Auteur]
no affiliation
Routier, Jean-Christophe [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Systèmes Multi-Agents et Comportements [SMAC]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Lebègue, Patrick [Auteur]
no affiliation
Routier, Jean-Christophe [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Systèmes Multi-Agents et Comportements [SMAC]
Éditeur(s) ou directeur(s) scientifique(s) :
Enjalbert
Patrice and Finkel
A. and Wagner
K.W.
Patrice and Finkel
A. and Wagner
K.W.
Titre de la manifestation scientifique :
Proceedings of 1993 Symposium on Theoretical Aspects of Computer Science (STACS'93)
Ville :
undef
Pays :
France
Date de début de la manifestation scientifique :
1993
Titre de l’ouvrage :
Proceedings of 1993 Symposium on Theoretical Aspects of Computer Science (STACS'93)
Titre de la revue :
Lecture Notes in Computer Science
Éditeur :
Springer
Date de publication :
1993
Discipline(s) HAL :
Informatique [cs]/Système multi-agents [cs.MA]
Informatique [cs]/Informatique et théorie des jeux [cs.GT]
Informatique [cs]/Ingénierie, finance et science [cs.CE]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Économie et finance quantitative [q-fin]/Finance [q-fin.GN]
Informatique [cs]/Informatique et théorie des jeux [cs.GT]
Informatique [cs]/Ingénierie, finance et science [cs.CE]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Économie et finance quantitative [q-fin]/Finance [q-fin.GN]
Langue :
Interlingue
Comité de lecture :
Oui
Audience :
Non spécifiée
Vulgarisation :
Non
Collections :
Source :