Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/hirsch-r

Robin Hirsch (hirsch-r)

Contributions à Philosophie.ch

No contributions yet

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.