Finite and Rational Tree Constraints

DOI10.1093/JIGPAL/2.2.167zbMath0810.03006OpenAlexW2025204147MaRDI QIDQ4318170

Torbjörn Keisu

Publication date: 20 April 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/2.2.167

zbMATH Keywords

algorithmssatisfiabilityrational treesdecision procedureconjunctive normal formconcurrent programming languageClark equality theoryfirst-order equality theory over a Herbrand universe

Mathematics Subject Classification ID

Theory of programming languages (68N15) Decidability of theories and sets of sentences (03B25) Logic programming (68N17)

This page was built for publication: Finite and Rational Tree Constraints