Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is S and Author is B. Kafle [Clear All Filters]
.
2016. Solving non-linear Horn clauses using a linear Horn clause solver. Electronic Proceedings in Theoretical Computer Science. 219:33-48.
ICT-Energy group
