Skip to main content

The Extended Theory of Trees and Algebraic (Co)datatypes

Fabian Zaiser and C.−H. Luke Ong

Book Title
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis‚ VPT/HCVS@ETAPS 2020‚ Dublin‚ Ireland‚ 25−26th April 2020
Editor
Laurent Fribourg and Matthias Heizmann
Pages
167–196
Series
EPTCS
Volume
320
Year
2020