scientific article; zbMATH DE number 31599

zbMATH Open0744.03012MaRDI QIDQ3987714

George E. Weaver

Publication date: 28 June 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

equational systemsequational analogue of elementary subsystemsequationally equivalent subsystems

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Submodule construction as equation solving in CCS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3987714)