LPAR 2018 : International Conference on Logic for Programming, Artificial Intelligence and Reasoning

View Statistics Email Alert RSS Feed

Book details Buch-Details

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
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika Quasipolynomial Set-Based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2018