102 results on '"Mikulás, Szabolcs"'
Search Results
2. The algebra of non-deterministic programs: demonic operators, orders and axioms
3. Domain and range for angelic and demonic compositions
4. Ordered Monoids: Languages and Relations
5. The finite representation property for composition, intersection, domain and range
6. The algebra of functions with antidomain and range
7. Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables
8. Undecidable Relativizations of Algebras of Relations
9. The algebra of functions with antidomain and range
10. Relational Lattices
11. Complexity of equational theory of relational algebras with standard projection elements
12. The equational theories of representable residuated semigroups
13. Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics
14. Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders
15. Residuated Kleene Algebras
16. Axiomatizability of algebras of binary relations
17. Expressiveness Issues and Decision Problems for Active Database Event Queries
18. Labelled Deduction for the Guarded Fragment
19. The Mosaic Method for Temporal Logics
20. ON CANONICITY AND COMPLETIONS OF WEAKLY REPRESENTABLE RELATION ALGEBRAS
21. Gabbay-Style Calculi
22. Axiomatizability of representable domain algebras
23. The equational theory of Kleene lattices
24. The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms
25. Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.
26. An Elementary Construction for a Non-Elementary Procedure
27. Relational Lattices
28. Axiomatizability of positive algebras of binary relations
29. Representable semilattice-ordered monoids
30. Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders
31. Residuated Kleene Algebras
32. Axiomatizing complex algebras by games
33. Axiomatizability of reducts of algebras of relations
34. Domain and range for angelic and demonic compositons
35. Lambek Calculus and its relational semantics: Completeness and incompleteness
36. Expressiveness Issues and Decision Problems for Active Database Event Queries
37. Domain and range for angelic and demonic compositions
38. Cylindric structures and dependencies in relational databases
39. Taming Logic
40. The finite representation property for composition, intersection, domain and range
41. Relational lattices: From databases to universal algebra
42. Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics
43. Axiomatizability of algebras of binary relations
44. The equational theories of representable residuated semigroups
45. Ordered domain algebras
46. POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS
47. Axiomatizability of algebras of binary relations.
48. The Mosaic Method for Temporal Logics.
49. Notions of density that imply representability in algebraic logic
50. Strong completeness of the Lambek Calculus with respect to Relational Semantics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.