Folgen
Szabolcs Mikulas
Szabolcs Mikulas
Senior Lecturer, Department of Computer Science and Information Systems, Birkbeck, University of London
Bestätigte E-Mail-Adresse bei dcs.bbk.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Lambek calculus and its relational semantics: completeness and incompleteness
H Andréka, S Mikulás
Journal of Logic, Language and Information 3 (1), 1-37, 1994
981994
Notions of density that imply representability in algebraic logic
H Andréka, S Givant, S Mikulás, I Németi, A Simon
Annals of pure and applied logic 91 (2), 93-190, 1998
511998
Axiomatizability of positive algebras of binary relations
H Andréka, S Mikulás
Algebra universalis 66 (1-2), 7-34, 2011
462011
Taming logics
S Mikulás
451995
The mosaic method for temporal logics
M Marx, S Mikulás, M Reynolds
Automated reasoning with analytic tableaux and related methods, 324-340, 2000
442000
Axiomatizability of reducts of algebras of relations
I Hodkinson, S Mikulás
Algebra Universalis 43 (2-3), 127-156, 2000
422000
Complexity of equational theory of relational algebras with projection elements
S Mikulás, I Sain, A Simon
Bulletin of the Section of Logic 21 (3), 103-111, 1992
28*1992
The equational theory of Kleene lattices
H Andréka, S Mikulás, I Németi
Theoretical Computer Science 412 (52), 7099-7108, 2011
252011
Representable semilattice-ordered monoids
R Hirsch, S Mikulás
Algebra Universalis 57 (3), 333-370, 2007
242007
Axiomatizability of representable domain algebras
R Hirsch, S Mikulás
The Journal of Logic and Algebraic Programming 80 (2), 75-91, 2011
232011
Ordered domain algebras
R Hirsch, S Mikulás
Journal of Applied Logic 11 (3), 266-271, 2013
202013
Algebras of relations and relevance logic
S Mikulás
Journal of Logic and Computation 19 (2), 305-321, 2009
182009
Cylindric structures and dependencies in relational databases
I Düntsch, S Mikulás
Theoretical Computer Science 269 (1), 451-468, 2001
182001
Products, or how to create modal logics of high complexity
M Marx, S Mikulas
Logic Journal of IGPL 9 (1), 71-82, 2001
172001
Investigations in arrow logic
M Marx, S Mikulás, I Németi, I Sain
Masuch, M. and L. Polos (ecls.), Logic at Work, Preproceedings of the First …, 1992
171992
The algebra of functions with antidomain and range
R Hirsch, M Jackson, S Mikulás
arXiv preprint arXiv:1410.3981, 2014
162014
Axiomatizing complex algebras by games
I Hodkinson, S Mikulás, Y Venema
algebra universalis 46 (4), 455-478, 2001
162001
Expressiveness issues and decision problems for active database event queries
J Bailey, S Mikulás
Database Theory—ICDT 2001, 68-82, 2001
152001
Axiomatizability of algebras of binary relations
S Mikulás
Classical and New Paradigms of Computation and their Complexity Hierarchies …, 2004
142004
Positive fragments of relevance logic and algebras of binary relations
R Hirsch, S Mikulás
The Review of Symbolic Logic 4 (01), 81-105, 2011
132011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20