Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates

Bibliographische Detailangaben

Veröffentlicht in:	IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1
1. Verfasser:	Angelis, Emanuele De (VerfasserIn)
Weitere Verfasser:	Fioravanti, Fabio (VerfasserIn), Pettorossi, Alberto (VerfasserIn), Proietti, Maurizio (VerfasserIn)
Pages:	1
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!