scientific article

From MaRDI portal

Publication:3818293

Jump to:navigation, search

zbMath0666.03009MaRDI QIDQ3818293

Wolfram Buettner

Publication date: 1988

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

zbMATH Keywords

lattices functional completeness experiments in circuit design functional completion algorithm Unification in finite algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

Symbolic constraint handling through unification in finite algebras ⋮ Boolean unification - the story so far

This page was built for publication:

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