Basic Logic, SMT Solvers and Finitely Generated Varieties of GBL-algebras

doi 10.29007/nptc
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

On Finitely Based Varieties of Algebras

Colloquium Mathematicum
Mathematics
1979English

Finitely Generated Ideals in regularF-algebras

Pacific Journal of Mathematics
Mathematics
1975English

$H$-Spaces With Finitely Generated Cohomology Algebras

Bulletin of the American Mathematical Society
1974English

Chief Factor Sizes in Finitely Generated Varieties

Canadian Journal of Mathematics
Mathematics
2002English

Finitely Generated Free Heyting Algebras via Birkhoff Duality and Coalgebra

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Varieties Generated by Finite BCK-algebras

Bulletin of the Australian Mathematical Society
Mathematics
1980English

Symbolic Optimization With SMT Solvers

2014English

Finitely Related Algebras in Congruence Modular Varieties Have Few Subpowers

Journal of the European Mathematical Society
MathematicsApplied Mathematics
2018English

Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms

Canadian Journal of Mathematics
Mathematics
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy