Maurizio Proietti: Removing Algebraic Data Types from Constrained Horn Clauses… (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
Authors: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti

Aired: 2020-02-04 14:30:00 CEST (UTC+2)