Obserwuj
Robin Hirsch
Robin Hirsch
Professor of Computer Science, UCL
Zweryfikowany adres z ucl.ac.uk
Tytuł
Cytowane przez
Cytowane przez
Rok
Relation algebras by games, Studies in Logic and the Foundations of Mathematics Vol. 147
R Hirsch, I Hodkinson
North Holland, 2002
343*2002
Complete representations in algebraic logic
R Hirsch, I Hodkinson
Journal of Symbolic Logic 62 (3), 816-847, 1997
1191997
Relation algebras of intervals
R Hirsch
Artificial intelligence 83 (2), 267-295, 1996
751996
On Modal Logics between K× K× K and S5×S5×S5
R Hirsch, I Hodkinson, A Kurucz
Journal of Symbolic Logic 67 (1), 221-234, 2002
742002
Step by step-building representations in algebraic logic
R Hirsch, I Hodkinson
Journal of Symbolic Logic 62 (1), 225-279, 1997
731997
Representability is not decidable for finite relation algebras
R Hirsch, I Hodkinson
Transactions of the American Mathematical Society 353 (4), 1403-1425, 2001
712001
Relation algebra reducts of cylindric algebras and an application to proof theory
R Hirsch, I Hodkinson, RD Maddux
Journal of Symbolic Logic 67 (1), 197-213, 2002
632002
Expressive power and complexity in algebraic logic
R Hirsch
Journal of Logic and Computation 7 (3), 309-351, 1997
591997
Relation algebra reducts of cylindric algebras and complete representations
R Hirsch
The Journal of Symbolic Logic 72 (02), 673-703, 2007
562007
The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
R Hirsch, TS Ahmed
The Journal of Symbolic Logic 79 (1), 208-222, 2014
422014
Strongly representable atom structures of cylindric algebras
R Hirsch, I Hodkinson
The Journal of Symbolic Logic 74 (03), 811-828, 2009
342009
Provability with finitely many variables
R Hirsch, I Hodkinson, RD Maddux
Bulletin of Symbolic Logic 8 (3), 348-379, 2002
342002
Relation algebras from cylindric algebras, II
R Hirsch, I Hodkinson
Annals of Pure and Applied Logic 112, 267-297, 2001
282001
Evolving Lucene search queries for text classification
L Hirsch, R Hirsch, M Saeedi
Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007
252007
Representable semilattice-ordered monoids
R Hirsch, S Mikulás
Algebra universalis 57, 333-370, 2007
242007
A finite relation algebra with undecidable network satisfaction problem.
R Hirsch
Logic Journal of the IGPL 7 (4), 1999
241999
Axiomatizability of representable domain algebras
R Hirsch, S Mikulás
The Journal of Logic and Algebraic Programming 80 (2), 75-91, 2011
232011
Strongly representable atom structures of relation algebras
R Hirsch, I Hodkinson
Proceedings of the American Mathematical Society 130 (6), 1819-1831, 2002
232002
Relation algebras with n-dimensional relational bases
R Hirsch, I Hodkinson
Annals of Pure and Applied Logic 101 (2-3), 227-274, 2000
23*2000
UNDECIDABLE PROBLEMS ON REPRESENTABILITY AS BINARY RELATIONS.
R HIRSCH, M JACKSON
Journal of Symbolic Logic 77 (4), 1211-1244, 2012
22*2012
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20