Hybrid logic is the bounded fragment of first order logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Hybrid logic is the bounded fragment of first order logic

C. Areces , P. Blackburn , M. Marx
C. Areces
  • Fonction : Auteur
P. Blackburn
  • Fonction : Auteur
M. Marx
  • Fonction : Auteur

Areces Carlos  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00000320

Soumis le : vendredi 23 septembre 2005-17:09:36

Dernière modification le : vendredi 23 septembre 2005-17:09:36

Fichier non déposé

Dates et versions

inria-00000320 , version 1 (23-09-2005)

Identifiants

  • HAL Id : inria-00000320 , version 1

Citer

C. Areces, P. Blackburn, M. Marx. Hybrid logic is the bounded fragment of first order logic. Proceedings of 6th Workshop on Logic, Language Information and Computation, WOLLIC99, 1999, Rio de Janeiro, Brazil, pp.33--50. ⟨inria-00000320⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
6 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More