scientific article; zbMATH DE number 475241

From MaRDI portal

Publication:4273482

Jump to:navigation, search

zbMath0793.03034MaRDI QIDQ4273482

George C. Nelson

Publication date: 21 August 1994

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

zbMATH Keywords

equational logic quasi-identities universal Horn sentences logic for finite algebras logic for positive sentences

Mathematics Subject Classification ID

Logic programming (68N17) Equational classes, universal algebra in model theory (03C05)

This page was built for publication:

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