Hybrid Logic and Its Proof-Theory

Abstract in pre-proceedings

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

OriginalsprogEngelsk
TitelLSFA 2012 Pre-proceedings
RedaktørerDelia Kesner, Petrucio Viana
Udgivelses stedRio de Janeiro
Publikationsdatosep. 2012
Sider1-1
StatusUdgivet - sep. 2012

Citer dette

Braüner, T. (2012). Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings. I D. Kesner, & P. Viana (red.), LSFA 2012 Pre-proceedings (s. 1-1). Rio de Janeiro.
Braüner, Torben. / Hybrid Logic and Its Proof-Theory : Abstract in pre-proceedings. LSFA 2012 Pre-proceedings. red. / Delia Kesner ; Petrucio Viana. Rio de Janeiro, 2012. s. 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. i D Kesner & P Viana (red), LSFA 2012 Pre-proceedings. Rio de Janeiro, s. 1-1.

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

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. I Kesner D, Viana P, red., LSFA 2012 Pre-proceedings. Rio de Janeiro. 2012. s. 1-1