scientific article; zbMATH DE number 1456949

zbMath0938.68589MaRDI QIDQ4954438

Hubert Comon, Ralf Treinen

Publication date: 7 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Data structures (68P05)

Related Items

Combination of constraint solving techniques: An algebraic point of view, Unnamed Item, Combination of constraint solvers for free and quasi-free structures, Solving simplification ordering constraints, Practical algorithms for deciding path ordering constraint satisfaction., Orienting rewrite rules with the Knuth-Bendix order., Theories of orders on the set of words