Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is G and Author is P. Ganty [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
