| 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 | 119 | 1997 |
| Relation algebras of intervals R Hirsch Artificial intelligence 83 (2), 267-295, 1996 | 75 | 1996 |
| 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 | 74 | 2002 |
| Step by step-building representations in algebraic logic R Hirsch, I Hodkinson Journal of Symbolic Logic 62 (1), 225-279, 1997 | 73 | 1997 |
| Representability is not decidable for finite relation algebras R Hirsch, I Hodkinson Transactions of the American Mathematical Society 353 (4), 1403-1425, 2001 | 71 | 2001 |
| 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 | 63 | 2002 |
| Expressive power and complexity in algebraic logic R Hirsch Journal of Logic and Computation 7 (3), 309-351, 1997 | 59 | 1997 |
| Relation algebra reducts of cylindric algebras and complete representations R Hirsch The Journal of Symbolic Logic 72 (02), 673-703, 2007 | 56 | 2007 |
| 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 | 42 | 2014 |
| Strongly representable atom structures of cylindric algebras R Hirsch, I Hodkinson The Journal of Symbolic Logic 74 (03), 811-828, 2009 | 34 | 2009 |
| Provability with finitely many variables R Hirsch, I Hodkinson, RD Maddux Bulletin of Symbolic Logic 8 (3), 348-379, 2002 | 34 | 2002 |
| Relation algebras from cylindric algebras, II R Hirsch, I Hodkinson Annals of Pure and Applied Logic 112, 267-297, 2001 | 28 | 2001 |
| Evolving Lucene search queries for text classification L Hirsch, R Hirsch, M Saeedi Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007 | 25 | 2007 |
| Representable semilattice-ordered monoids R Hirsch, S Mikulás Algebra universalis 57, 333-370, 2007 | 24 | 2007 |
| A finite relation algebra with undecidable network satisfaction problem. R Hirsch Logic Journal of the IGPL 7 (4), 1999 | 24 | 1999 |
| Axiomatizability of representable domain algebras R Hirsch, S Mikulás The Journal of Logic and Algebraic Programming 80 (2), 75-91, 2011 | 23 | 2011 |
| Strongly representable atom structures of relation algebras R Hirsch, I Hodkinson Proceedings of the American Mathematical Society 130 (6), 1819-1831, 2002 | 23 | 2002 |
| 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 |
Roger D MadduxIowa State UniversityVerified email at iastate.edu
