Symposium on Logic in Computer Science (LICS)
Event name
Symposium on Logic in Computer Science (LICS)
Start date
11-07-2010
End date
14-07-2010
Location
Edinburgh, United Kingdom
Country
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gajarsky, Jakub ; Hlinený, Petr ; Obdrzalek, Jan ; Lokshtanov, Daniel ; Ramanujan, M. Sridharan | A New Perspective on FO Model Checking of Dense Graph Classes | Konferenzbeitrag Inproceedings  | 2016 | |
| 2 | Calì, Andrea ; Gottlob, Georg ; Lukasiewicz, Thomas ; Marnette, Bruno ; Pieris, Andreas ; Jouannaud, Jean-Pierre | Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications | Konferenzbeitrag Inproceedings | 2010 | |
| 3 | Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín ; Novotný, Petr ; Velan, Dominik ; Zuleger, Florian | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS | Konferenzbeitrag Inproceedings | 2018 | |
| 4 | Rabinovich, Alexander ; Rubin, Sasha | Interpretations in Trees with Countably Many Branches | Konferenzbeitrag Inproceedings | 2012 |