Deciding the first-order theory of an algebra of feature trees with updates

DOI10.1007/978-3-319-94205-6_29OpenAlexW2811128929MaRDI QIDQ1799104

Nicolas Jeannerod, Ralf Treinen

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_29

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Constructing infinitary quotient-inductive types

This page was built for publication: Deciding the first-order theory of an algebra of feature trees with updates