scientific article; zbMATH DE number 1735911

From MaRDI portal

Publication:4329274

Jump to:navigation, search

zbMath0993.03087MaRDI QIDQ4329274

L. N. Gordeev

Publication date: 29 April 2002

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

zbMATH Keywords

validity decidability relation algebras provability finite-variable logics term-rewriting system equational calculus cut-free derivability

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Finite methods in 1-order formalisms

This page was built for publication:

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