Towards constructive hybrid logic (extended abstract):

Towards constructive hybrid logic (extended abstract)

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

Originalsprog	Engelsk
Titel	Workshop Proceedings of Methods for Modalities 3
Redaktører	C. Areces, P. Blackburn
Forlag	INRIA
Publikationsdato	2003
Status	Udgivet - 2003
Begivenhed	Third International Workshop on Methods for Modalities - Nancy, Frankrig Varighed: 22 sep. 2003 → 23 sep. 2003 Konferencens nummer: 3

Workshop	Third International Workshop on Methods for Modalities
Nummer	3
Land/Område	Frankrig
By	Nancy
Periode	22/09/2003 → 23/09/2003

@inproceedings{03312d6052be11dba4bc000ea68e967b,

title = "Towards constructive hybrid logic (extended abstract)",

author = "Torben Bra{\"u}ner and \{de Paiva\}, Valeria",

year = "2003",

language = "English",

editor = "C. Areces and P. Blackburn",

booktitle = "Workshop Proceedings of Methods for Modalities 3",

publisher = "INRIA",

note = "Towards constructive hybrid logic (extended abstract) ; Conference date: 22-09-2003 Through 23-09-2003",

}

TY - GEN

T1 - Towards constructive hybrid logic (extended abstract)

AU - Braüner, Torben

AU - de Paiva, Valeria

N1 - Conference code: 3

PY - 2003

Y1 - 2003

M3 - Article in proceedings

BT - Workshop Proceedings of Methods for Modalities 3

A2 - Areces, C.

A2 - Blackburn, P.

PB - INRIA

T2 - Towards constructive hybrid logic (extended abstract)

Y2 - 22 September 2003 through 23 September 2003

ER -