2,270 followers
@graydon_pub Check out the abstract! https://t.co/Nc0FKcuRD7
@graydon_pub Check out the abstract! https://t.co/Nc0FKcuRD7
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates https://t.co/3BIKC2eTln
RT @arxiv_cslo: Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates https://t.co/3BIKC2wuJX
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates https://t.co/3BIKC2wuJX