22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)

View Statistics Email Alert RSS Feed

Description

Event name
22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
 
Start date
16-11-2018
End date
21-11-2018
 
Location
Awassa, Ethiopia
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Subject:  The guarded fragment

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

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