Robin Hirsch (hirsch-r)

Contributions to Philosophie.ch

Bibliography

Cristiani, Matteo and Hirsch, Robin. 2004. “The Complexity of Constraint Satisfaction Problems for Small Relation Algebras.” Artificial Intelligence 156(2): 177–196.
Hirsch, Robin. 1996. “Relation Algebras of Intervals.” Artificial Intelligence 83(2): 267–295.
Hirsch, Robin. 2000. “Tractable Approximations for Temporal Constraint Handling.” Artificial Intelligence 116(1–2): 287–295.
Hirsch, Robin and Hodkinson, Ian. 2000. “Relation Algebras with n-dimensional Relational Bases.” Annals of Pure and Applied Logic 101: 227–274.
Hirsch, Robin and Hodkinson, Ian. 2001. “Relation Algebras from Cylindric Algebras, I & II.” Annals of Pure and Applied Logic 112: 225–297.
Hirsch, Robin and Hodkinson, Ian. 2002. Relation Algebras by Games. Studies in Logic and the Foundations of Mathematics n. 147. Amsterdam: North-Holland Publishing Co.
Hirsch, Robin, Hodkinson, Ian and Maddux, Roger D. 2002a. “Provability with Finitely Many Variables.” The Bulletin of Symbolic Logic 8(3): 348–348.
Hirsch, Robin, Hodkinson, Ian and Maddux, Roger D. 2002b. “Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory.” The Journal of Symbolic Logic 67: 197–213.