Moscow-Vienna Workshop on Logic and Computation 2009

View Statistics Email Alert RSS Feed

Description

Event name
Moscow-Vienna Workshop on Logic and Computation 2009
 
Event type
Event for scientific audience
 
Start date
29-06-2009
End date
02-07-2009
 
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Treffer 1-5 von 5 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Salzer, Gernot Description Problems over Finite Totally-Ordered DomainsPräsentation Presentation2009
2Leitsch, Alexander Fast Cut-Elimination by CERESPräsentation Presentation2009
3Baaz, Matthias Gödel logics: the monadic classPräsentation Presentation2009
4Jenei, Sándor On the geometry of residuated lattices with applicationsPräsentation Presentation2009
5Ortiz de la Fuente, M.Magdalena Querying Description Logic Knowledge Bases: automata-theoretic techniquesPräsentation Presentation2009