15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)

View Statistics Email Alert RSS Feed

Description

Event name
15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
 
Start date
25-04-2016
End date
29-04-2016
 
Location
Kapstadt
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Filter:
Author:  de Haan, Ronald

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

PreviewAuthor(s)TitleTypeIssue Date
1de Haan, Ronald ; Szeider, Stefan Parameterized Complexity Results for Symbolic Model Checking of Temporal LogicsKonferenzbeitrag Inproceedings2016