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 |
Hybrid Logic and Its Proof-Theory: Abstract in pre-proceedings
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning