LPAR 2018 : International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Book title Buchtitel
LPAR 2018 : International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Publisher Herausgeber
EasyChair Publications, in the EPiC Series in Computing
Place of publishing Erscheinungsort
57
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika | Quasipolynomial Set-Based Symbolic Algorithms for Parity Games | Konferenzbeitrag Inproceedings  | 2018 |