Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings

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

Originalsprog	Engelsk
Titel	LSFA 2012 Pre-proceedings
Redaktører	Delia Kesner, Petrucio Viana
Udgivelsessted	Rio de Janeiro
Publikationsdato	sep. 2012
Sider	1-1
Status	Udgivet - sep. 2012
Begivenhed	LSFA 2012: 7.Workshop on Logical and Semantic Frameworks with Applications - Rio de Janeiro, Brasilien Varighed: 29 sep. 2012 → 30 sep. 2012 Konferencens nummer: 7

Citationsformater

@inproceedings{a20ac91154c8406aac96d511916560b7,

title = "Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings",

author = "Torben Bra{\"u}ner",

year = "2012",

month = sep,

language = "English",

pages = "1--1",

editor = "Kesner, \{Delia \} and Viana, \{Petrucio \}",

booktitle = "LSFA 2012 Pre-proceedings",

note = "LSFA 2012 : 7.Workshop on Logical and Semantic Frameworks with Applications , LSFA 2012 ; Conference date: 29-09-2012 Through 30-09-2012",

}