Cargando…
Politeness for the Theory of Algebraic Datatypes
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 by several mainstream SMT...
Autores principales: | Sheng, Ying, Zohar, Yoni, Ringeissen, Christophe, Lange, Jane, Fontaine, Pascal, Barrett, Clark |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324139/ http://dx.doi.org/10.1007/978-3-030-51074-9_14 |
Ejemplares similares
-
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
por: Péchoux, Romain, et al.
Publicado: (2020) -
LongISLND: in silico sequencing of lengthy and noisy datatypes
por: Lau, Bayo, et al.
Publicado: (2016) -
HyperCAT: an extension of the SuperCAT database for global multi-scheme and multi-datatype phylogenetic analysis of the Bacillus cereus group population
por: Tourasse, Nicolas J., et al.
Publicado: (2010) -
Political Theory
por: Abbas, Hoveyda
Publicado: (2012) -
Banach algebras and the general theory of *-algebras
por: Palmer, Theodore W
Publicado: (2001)