Szabolcs Mikulás - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2022

The Algebra of Non-deterministic Programs: Demonic Operations, Orders and AxiomsRobin Hirsch, Szabolcs Mikulás, Timothy Stokes 0001. igpl, 30(5):886-906, 2022. [doi]

2019

Domain and range for angelic and demonic compositionsMarcel Jackson, Szabolcs Mikulás. jlp, 103:62-78, 2019. [doi]

2016

Relational lattices: From databases to universal algebraTadeusz Litak, Szabolcs Mikulás, Jan Hidders. jlp, 85(4):540-573, 2016. [doi]

The finite representation property for composition, intersection, domain and rangeBrett McLean, Szabolcs Mikulás. ijac, 26(6):1199-1216, 2016. [doi]

2015

Lower Semilattice-Ordered Residuated Semigroups and Substructural LogicsSzabolcs Mikulás. sLogica, 103(3):453-478, 2015. [doi]

The equational theories of representable residuated semigroupsSzabolcs Mikulás. synthese, 192(7):2151-2158, 2015. [doi]

Complexity of equational theory of relational algebras with standard projection elementsSzabolcs Mikulás, Ildikó Sain, András Simon. synthese, 192(7):2159-2182, 2015. [doi]

2014

Relational LatticesTadeusz Litak, Szabolcs Mikulás, Jan Hidders. RelMiCS 2014: 327-343 [doi]

2013

Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear OrdersPhilippe Balbiani, Szabolcs Mikulás. frocos 2013: 151-164 [doi]

Ordered domain algebrasRobin Hirsch, Szabolcs Mikulás. japll, 11(3):266-271, 2013. [doi]

2012

Residuated Kleene AlgebrasHajnal Andréka, Szabolcs Mikulás, István Németi. BIRTHDAY 2012: 1-11 [doi]

On canonicity and completions of weakly representable relation algebrasIan M. Hodkinson, Szabolcs Mikulás. JSYML, 77(1):245-262, 2012. [doi]

2011

The equational theory of Kleene latticesHajnal Andréka, Szabolcs Mikulás, István Németi. TCS, 412(52):7099-7108, 2011. [doi]

Axiomatizability of representable domain algebrasRobin Hirsch, Szabolcs Mikulás. jlp, 80(2):75-91, 2011. [doi]

Positive Fragments of Relevance Logic and Algebras of Binary RelationsRobin Hirsch, Szabolcs Mikulás. rsl, 4(1):81-105, 2011. [doi]

On representable ordered residuated semigroupsSzabolcs Mikulás. igpl, 19(1):233-240, 2011. [doi]

2009

Algebras of Relations and Relevance LogicSzabolcs Mikulás. logcom, 19(2):305-321, 2009. [doi]

2002

An Elementary Construction for a Non-elementary ProcedureMaarten Marx, Szabolcs Mikulás. sLogica, 72(2):253-263, 2002.

2001

Expressiveness Issues and Decision Problems for Active Database Event QueriesJames Bailey, Szabolcs Mikulás. icdt 2001: 68-82 [doi]

Cylindric structures and dependencies in relational databasesIvo Düntsch, Szabolcs Mikulás. TCS, 269(1-2):451-468, 2001. [doi]

Products, or How to Create Modal Logics of High ComplexityMaarten Marx, Szabolcs Mikulás. igpl, 9(1):71-82, 2001. [doi]

Axiomatizability of algebras of binary relationsSzabolcs Mikulás. fotfs 2004: 187-205 [doi]

2000

The Mosaic Method for Temporal LogicsMaarten Marx, Szabolcs Mikulás, Mark Reynolds. tableaux 2000: 324-340

1999

Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two VariablesMaarten Marx, Szabolcs Mikulás. JSYML, 64(4):1563-1572, 1999.

Tableau Calculus for Local Cubic Modal Logic and it s ImplementationMaarten Marx, Szabolcs Mikulás, Stefan Schlobach. igpl, 7(6):755-778, 1999. [doi]

Undecidable Relativizations of Algebras of RelationsSzabolcs Mikulás, Maarten Marx. JSYML, 64(2):747-760, 1999.

1998

Notions of Density That Imply Representability in Algebraic LogicHajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon. APAL, 91(2-3):93-190, 1998.

Colorful reductsIan M. Hodkinson, Szabolcs Mikulás. RelMiCS 1998: 106-110

Taming First-Order LogicSzabolcs Mikulás. igpl, 6(2):305-316, 1998. [doi]

1997

A note on expressing infinity in cylindrlc-relativised set algebrasSzabolcs Mikulás. RelMiCS 1997: 239-243

1995

Taming LogicMaarten Marx, Szabolcs Mikulás, István Németi. jolli, 4(3):207-226, 1995.

1994

Lambek Calculus and its relational semantics: Completeness and incompletenessHajnal Andréka, Szabolcs Mikulás. jolli, 3(1):1-37, 1994. [doi]

Sign in or sign up to see more results.

runs on WebDSL