Agnes Kurucz

From MaRDI portal
Person:1582309

Available identifiers

zbMath Open kurucz.agnesMaRDI QIDQ1582309

List of research outcomes





PublicationDate of PublicationType
Comparing decision problems for various paradigms of algebraic logic.2005-04-19Paper
https://portal.mardi4nfdi.de/entity/Q44304062003-10-09Paper
Arrow logic and infinite counting2001-06-18Paper
On axiomatising products of Kripke frames2001-06-17Paper
Representability of pairing relation algebras depends on your ontology2001-04-17Paper
https://portal.mardi4nfdi.de/entity/Q43492811997-11-05Paper
https://portal.mardi4nfdi.de/entity/Q48739671996-08-22Paper
Decidable and undecidable logics with a binary modality1996-07-01Paper
Connections between axioms of set theory and basic theorems of universal algebra1995-03-15Paper
Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus1994-05-15Paper

Research outcomes over time

This page was built for person: Agnes Kurucz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1582309&oldid=11110256"
Powered by MediaWiki