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).