Deciding the first-order theory of an algebra of feature trees with updates
type: Item
instance of: scholarly article
title: Deciding the first-order theory of an algebra of feature trees with updates
DOI: 10.1007/978-3-319-94205-6_29
author: Nicolas Jeannerod
author: Ralf Treinen
publication date: 2018-10-18T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C10
zbMATH DE Number: 6958115
MaRDI profile type: Publication
full work available at URL: 978-3-319-94205-6 29
OpenAlex ID: W2811128929
Recommended article: The first-order theory of ordering constraints over feature trees
Recommended article: Q4808698
Recommended article: Q4473025
Recommended article: Expressiveness of full first-order constraints in the algebra of finite or infinite trees
Recommended article: Extension of First-Order Theories into Trees
Recommended article: Q3838768
Recommended article: First-order logic on finite trees
Recommended article: Ordering constraints over feature trees expressed in second-order monadic logic.
Recommended article: First-order theories of bounded trees
Recommended article: A first-order axiomatization of the theory of finite trees
description: scientific article; zbMATH DE number 6958115