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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों: Sheng, Ying, Zohar, Yoni, Ringeissen, Christophe, Lange, Jane, Fontaine, Pascal, Barrett, Clark
अन्य लेखक: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
स्वरूप: लेख
भाषा:English
प्रकाशित: Springer Netherlands 2022
ऑनलाइन पहुंच:https://hdl.handle.net/1721.1/143636

इंटरनेट

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

समान संसाधन