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
UdgivelsesstedRio de Janeiro
Publikationsdatosep. 2012
Sider1-1
StatusUdgivet - sep. 2012

Citer dette