LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018

Book title Buchtitel
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018
 
Publisher Herausgeber
EasyChair EPiC Series in Computing
 
Place of publishing Erscheinungsort
57
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rudolph, Sebastian ; Simkus, Mantas The Triguarded Fragment of First-Order LogicKonferenzbeitrag Inproceedings 2018