scientific article; zbMATH DE number 2090031

zbMATH Open1072.68605MaRDI QIDQ4808698FDOQ4808698

Authors: Alain Colmerauer 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2385/23850002.htm

Title of this publication is not available (Why is that?)

Recommendations

• Expressiveness of full first-order constraints in the algebra of finite or infinite trees
• scientific article; zbMATH DE number 2080306
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• Satisfiability of \(\mathsf {ECTL}^*\) with tree constraints
• Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
• Tree dualities for constraint satisfaction
• Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
• Classifying the Complexity of Constraints Using Finite Algebras

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25)

Cited In (4)

• Title not available (Why is that?)
• Deciding the first-order theory of an algebra of feature trees with updates
• Expressiveness of full first-order constraints in the algebra of finite or infinite trees
• The first-order theory of ordering constraints over feature trees

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808698)