Incremental Closure for Systems of Two Variables Per Inequality (2018)

First Author: Howe J, King A And Simon A
Attributed to:  Vulnerability Discovery using Abduction and Interpolation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://kar.kent.ac.uk/70546/

Type: Journal Article/Review

Parent Publication: Theoretical Computer Science