Szabolcs Mikulás

38 papers A 1B 1C 2Journal 29Unranked 5

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Finite Model Properties for Residuated Semigroups. CoRR Szabolcs Mikulás
2022	J	`jnl`	The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. Log. J. IGPL Robin Hirsch, Szabolcs Mikulás, Timothy Stokes
2020	J	`jnl`	The algebra of non-deterministic programs: demonic operators, orders and axioms. CoRR Robin Hirsch, Szabolcs Mikulás, Tim Stokes
2019	J	`jnl`	Domain and range for angelic and demonic compositions. J. Log. Algebraic Methods Program. Marcel Jackson, Szabolcs Mikulás
2018	J	`jnl`	Domain and range for angelic and demonic compositions. CoRR Marcel Jackson, Szabolcs Mikulás
2016	J	`jnl`	Relational lattices: From databases to universal algebra. J. Log. Algebraic Methods Program. Tadeusz Litak, Szabolcs Mikulás, Jan Hidders
2016	J	`jnl`	The finite representation property for composition, intersection, domain and range. Int. J. Algebra Comput. Brett McLean, Szabolcs Mikulás
2015	J	`jnl`	Complexity of equational theory of relational algebras with standard projection elements. Synth. Szabolcs Mikulás, Ildikó Sain, András Simon
2015	J	`jnl`	Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics. Stud Logica Szabolcs Mikulás
2015	J	`jnl`	The equational theories of representable residuated semigroups. Synth. Szabolcs Mikulás
2015	J	`jnl`	The finite representation property for composition, intersection, domain and range. CoRR Brett McLean, Szabolcs Mikulás
2014	C	`conf`	Relational Lattices. RAMiCS Tadeusz Litak, Szabolcs Mikulás, Jan Hidders
2014	J	`jnl`	The algebra of functions with antidomain and range. CoRR Robin Hirsch, Marcel Jackson, Szabolcs Mikulás
2013	—	`conf`	Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. FroCos Philippe Balbiani, Szabolcs Mikulás
2013	J	`jnl`	Ordered domain algebras. J. Appl. Log. Robin Hirsch, Szabolcs Mikulás
2012	J	`jnl`	On canonicity and completions of weakly representable relation algebras. J. Symb. Log. Ian M. Hodkinson, Szabolcs Mikulás
2012	—	`conf`	Residuated Kleene Algebras. Logic and Program Semantics Hajnal Andréka, Szabolcs Mikulás, István Németi
2011	J	`jnl`	Axiomatizability of representable domain algebras. J. Log. Algebraic Methods Program. Robin Hirsch, Szabolcs Mikulás
2011	J	`jnl`	On representable ordered residuated semigroups. Log. J. IGPL Szabolcs Mikulás
2011	J	`jnl`	Positive Fragments of Relevance Logic and Algebras of Binary Relations. Rev. Symb. Log. Robin Hirsch, Szabolcs Mikulás
2011	J	`jnl`	The equational theory of Kleene lattices. Theor. Comput. Sci. Hajnal Andréka, Szabolcs Mikulás, István Németi
2009	J	`jnl`	Algebras of Relations and Relevance Logic. J. Log. Comput. Szabolcs Mikulás
2009	C	`conf`	Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME Szabolcs Mikulás, Mark Reynolds, Tim French
2002	J	`jnl`	An Elementary Construction for a Non-elementary Procedure. Stud Logica Maarten Marx, Szabolcs Mikulás
2001	—	`conf`	Axiomatizability of algebras of binary relations. FotFS Szabolcs Mikulás
2001	J	`jnl`	Cylindric structures and dependencies in relational databases. Theor. Comput. Sci. Ivo Düntsch, Szabolcs Mikulás
2001	A	`conf`	Expressiveness Issues and Decision Problems for Active Database Event Queries. ICDT James Bailey, Szabolcs Mikulás
2001	J	`jnl`	Products, or How to Create Modal Logics of High Complexity. Log. J. IGPL Maarten Marx, Szabolcs Mikulás
2000	B	`conf`	The Mosaic Method for Temporal Logics. TABLEAUX Maarten Marx, Szabolcs Mikulás, Mark Reynolds
1999	J	`jnl`	Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. J. Symb. Log. Maarten Marx, Szabolcs Mikulás
1999	J	`jnl`	Tableau Calculus for Local Cubic Modal Logic and it's Implementation. Log. J. IGPL Maarten Marx, Szabolcs Mikulás, Stefan Schlobach
1999	J	`jnl`	Undecidable Relativizations of Algebras of Relations. J. Symb. Log. Szabolcs Mikulás, Maarten Marx
1998	—	`conf`	Colorful reducts. RelMiCS Ian M. Hodkinson, Szabolcs Mikulás
1998	J	`jnl`	Notions of Density That Imply Representability in Algebraic Logic. Ann. Pure Appl. Log. Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon
1998	J	`jnl`	Taming First-Order Logic. Log. J. IGPL Szabolcs Mikulás
1997	—	`conf`	A note on expressing infinity in cylindrlc-relativised set algebras. RelMiCS Szabolcs Mikulás
1995	J	`jnl`	Taming Logic. J. Log. Lang. Inf. Maarten Marx, Szabolcs Mikulás, István Németi
1994	J	`jnl`	Lambek Calculus and its relational semantics: Completeness and incompleteness. J. Log. Lang. Inf. Hajnal Andréka, Szabolcs Mikulás