scientific article

From MaRDI portal

Publication:3338214

Jump to:navigation, search

zbMath0547.03010MaRDI QIDQ3338214

Etienne Paul

Publication date: 1984

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

zbMATH Keywords

rewriting system equational theory resolution method resolution algorithm completion algorithm

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Classical propositional logic (03B05) Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03)

Related Items

Completion for unification ⋮ A superposition oriented theorem prover

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3338214&oldid=16583221"