scientific article; zbMATH DE number 1754649

zbMath0986.68045MaRDI QIDQ4535077

Andrei Voronkov, Konstantin Korovin

Publication date: 12 June 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760979

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Grammars and rewriting systems (68Q42)

Related Items

Superposition-based equality handling for analytic tableaux ⋮ Orienting rewrite rules with the Knuth-Bendix order. ⋮ Decision procedures for term algebras with integer constraints