scientific article; zbMATH DE number 1765696

zbMath0988.03013MaRDI QIDQ4539637

No author found.

Publication date: 10 July 2002

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

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15)

Related Items (2)

Canonical Ground Horn Theories ⋮ Variant-Based Satisfiability in Initial Algebras

This page was built for publication: