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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Original languageEnglish
Title of host publicationLSFA 2012 Pre-proceedings
EditorsDelia Kesner, Petrucio Viana
Place of PublicationRio de Janeiro
Publication dateSep 2012
Pages1-1
Publication statusPublished - Sep 2012

Cite this

Braüner, T. (2012). Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings. In D. Kesner, & P. Viana (Eds.), LSFA 2012 Pre-proceedings (pp. 1-1). Rio de Janeiro.
Braüner, Torben. / Hybrid Logic and Its Proof-Theory : Abstract in pre-proceedings. LSFA 2012 Pre-proceedings. editor / Delia Kesner ; Petrucio Viana. Rio de Janeiro, 2012. pp. 1-1
@inproceedings{a20ac91154c8406aac96d511916560b7,
title = "Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings",
author = "Torben Bra{\"u}ner",
year = "2012",
month = "9",
language = "English",
pages = "1--1",
editor = "Kesner, {Delia } and Viana, {Petrucio }",
booktitle = "LSFA 2012 Pre-proceedings",

}

Braüner, T 2012, Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings. in D Kesner & P Viana (eds), LSFA 2012 Pre-proceedings. Rio de Janeiro, pp. 1-1.

Hybrid Logic and Its Proof-Theory : Abstract in pre-proceedings. / Braüner, Torben.

LSFA 2012 Pre-proceedings. ed. / Delia Kesner; Petrucio Viana. Rio de Janeiro, 2012. p. 1-1.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

TY - GEN

T1 - Hybrid Logic and Its Proof-Theory

T2 - Abstract in pre-proceedings

AU - Braüner, Torben

PY - 2012/9

Y1 - 2012/9

M3 - Article in proceedings

SP - 1

EP - 1

BT - LSFA 2012 Pre-proceedings

A2 - Kesner, Delia

A2 - Viana, Petrucio

CY - Rio de Janeiro

ER -

Braüner T. Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings. In Kesner D, Viana P, editors, LSFA 2012 Pre-proceedings. Rio de Janeiro. 2012. p. 1-1