Finite and Rational Tree Constraints
type: Item
instance of: scholarly article
title: Finite and Rational Tree Constraints
zbMATH Open document ID: 0810.03006
author: Torbjörn Keisu
publication date: 1995-04-20T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 706786
zbMATH Keywords: Clark equality theory
zbMATH Keywords: concurrent programming language
zbMATH Keywords: decision procedure
zbMATH Keywords: first-order equality theory over a Herbrand universe
zbMATH Keywords: rational trees
zbMATH Keywords: conjunctive normal form
zbMATH Keywords: algorithms
zbMATH Keywords: satisfiability
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/jigpal/2.2.167
OpenAlex ID: W2025204147
DOI: 10.1093/JIGPAL/2.2.167
published in: Logic Journal of the IGPL
Recommended article: Linear Constraints over Infinite Trees
Recommended article: Q2767065
Recommended article: On tree-preserving constraints
Recommended article: The tree Constraint
Recommended article: Q4736415
Recommended article: Global Numerical Constraints on Trees
Recommended article: Properties of tree convex constraints
Recommended article: Q4473025
description: scientific article; zbMATH DE number 706786