204 results on '"Hirsch, Robin"'
Search Results
2. EXPTIME-hardness of higher-dimensional Minkowski spacetime
3. A corrected strategy for proving no finite variable axiomatisation exists for RRA
4. Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition
5. Temporal Logic of Minkowski Spacetime
6. The algebra of non-deterministic programs: demonic operators, orders and axioms
7. Marxism, Logic and the Rate of Profit
8. Finite Representability of Semigroups with Demonic Refinement
9. First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
10. Seurat games on Stockmeyer graphs
11. Temporal Logic of Minkowski Spacetime
12. The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable
13. Undecidability of Algebras of Binary Relations
14. Disjoint-union partial algebras
15. Algebraic foundations for qualitative calculi and networks
16. Temporal Logic of Minkowski Spacetime
17. The Temporal Logic of two dimensional Minkowski spacetime is decidable
18. Meet-completions and ordered domain algebras
19. The algebra of functions with antidomain and range
20. There is no finite-variable equational axiomatization of representable relation algebras over weakly representable relation algebras
21. THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
22. Undecidability of Algebras of Binary Relations
23. Decidability of Equational Theories for Subsignatures of Relation Algebra
24. Completely Representable Lattices
25. Axioms for signatures with domain and demonic composition
26. Finite representability of semigroups with demonic refinement
27. Provability with Finitely Many Variables
28. Strongly Representable Atom Structures of Relation Algebras
29. Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory
30. Representability Is Not Decidable for Finite Relation Algebras
31. Complete Representations in Algebraic Logic
32. Step by Step-Building Representations in Algebraic Logic
33. The algebra of functions with antidomain and range
34. Decidability of Equational Theories for Subsignatures of Relation Algebra
35. Human Factors Considerations for the Application of Augmented Reality in an Operational Railway Environment
36. Completions and Complete Representations
37. THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
38. Evolving Rules for Document Classification
39. Evolving Text Classifiers with Genetic Programming
40. Connections Between Cylindric Algebras and Relation Algebras
41. UNDECIDABILITY OF REPRESENTABILITY AS BINARY RELATIONS
42. Metro railway safety: An analysis of accident precursors
43. WEAK REPRESENTATIONS OF RELATION ALGEBRAS AND RELATIONAL BASES
44. Strongly Representable Atom Structures of Cylindric Algebras
45. Axiomatizability of representable domain algebras
46. Relation Algebra Reducts of Cylindric Algebras and Complete Representations
47. FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH
48. Seurat games on Stockmeyer graphs
49. The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms
50. Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.