Politeness for the Theory of Algebraic Datatypes

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-030-51074-9_14 ◽

2020 ◽

pp. 238-255

Author(s):

Ying Sheng ◽

Yoni Zohar ◽

Christophe Ringeissen ◽

Jane Lange ◽

Pascal Fontaine ◽

...

Download Full-text