A Road-map on Complexity for Hybrid Logics

C. Areces; P. Blackburn; M. Marx

Communication Dans Un Congrès Année : 1999

A Road-map on Complexity for Hybrid Logics

(1) , ,

1

C. Areces

Fonction : Auteur

Institute for Logic, Language and Computation

P. Blackburn

Fonction : Auteur

M. Marx

Fonction : Auteur

Areces Carlos : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 26 septembre 2005-17:14:59

Dernière modification le : lundi 26 septembre 2005-17:14:59

Dates et versions

inria-00000337 , version 1 (26-09-2005)

Identifiants

HAL Id : inria-00000337 , version 1

Citer

C. Areces, P. Blackburn, M. Marx. A Road-map on Complexity for Hybrid Logics. Computer Science Logic, 1999, Madrid, Spain, pp.307--321. ⟨inria-00000337⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

15 Consultations

0 Téléchargements

A Road-map on Complexity for Hybrid Logics

Dates et versions

Identifiants

Citer

Exporter

Partager