Conference Proceedings

Decomposition by tree dimension in Horn clause verification

B Kafle, JP Gallagher, P Ganty

Electronic Proceedings in Theoretical Computer Science | Published : 2015

DOI: 10.4204/EPTCS.199.1

Citation metrics

1Scopus
1Dimensions