Polite Combination of Algebraic Datatypes

Polite Combination of Algebraic Datatypes

Abstract Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its latest stable version, the SMT-LIB standard defines a theory of algebraic datatypes, which is currently supported b...

Full description

Bibliographic Details
Main Authors: Sheng, Ying, Zohar, Yoni, Ringeissen, Christophe, Lange, Jane, Fontaine, Pascal, Barrett, Clark
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: Springer Netherlands 2022
Online Access:https://hdl.handle.net/1721.1/143636

Internet

https://hdl.handle.net/1721.1/143636

Similar Items