Katarzyna Idziak

From MaRDI portal
Person:1821097



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Counting quasivarieties of equivalential algebras
Reports on Mathematical Logic
2001-10-16Paper
scientific article; zbMATH DE number 966891 (Why is no real title available?)1997-01-15Paper
Decidability problem for finite Heyting algebras
Journal of Symbolic Logic
1988-01-01Paper
Undecidability of Brouwerian semilattices
Algebra Universalis
1986-01-01Paper


Research outcomes over time


This page was built for person: Katarzyna Idziak