scientific article
From MaRDI portal
Publication:3939273
zbMath0481.68090MaRDI QIDQ3939273
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite semigroupsAURAequivalential calculusternary Boolean algebradesign of digital circuitsautomated reasoning assistantautomated theorem-proving program
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
A method for simultaneous search for refutations and models by equational constraint solving ⋮ A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
This page was built for publication:
