The first-order theory of ordering constraints over feature trees
type: Item
instance of: scholarly article
zbMATH Open document ID: 0981.68081
publication date: 2002-01-07T00:00:00Z
full work available at URL: https://eudml.org/doc/227586
full work available at URL: dm040211.abs.html
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1661004
zbMATH Keywords: feature constraints
zbMATH Keywords: logic of trees
zbMATH Keywords: automata
describes a project that uses: Oz
MaRDI profile type: Publication
Recommended article: Ordering constraints over feature trees
Recommended article: Q3838768
Recommended article: Ordering constraints over feature trees expressed in second-order monadic logic.
Recommended article: Solving First-Order Constraints in the Theory of the Evaluated Trees
Recommended article: Q4808698
Recommended article: Deciding the first-order theory of an algebra of feature trees with updates
Recommended article: Q4473025
Recommended article: Q4282498
Recommended article: Expressiveness of full first-order constraints in the algebra of finite or infinite trees
author: Martin Müller
author: Joachim Niehren
author: Ralf Treinen
title: The first-order theory of ordering constraints over feature trees
published in: Discrete Mathematics and Theoretical Computer Science. DMTCS
description: scientific article; zbMATH DE number 1661004