John K. Slaney (slaney)

Contributions to Philosophie.ch

Bibliography

McRobbie, Michael A. and Slaney, John K., eds. 1996. CADE-13 Thirteenth International Conference on Automated Deduction. Lecture Notes in Computer Science. Berlin: Springer.
Slaney, John K. 1989. “Solution to a Problem of Ono and Komori.” The Journal of Philosophical Logic 18(1): 103–111.
Slaney, John K. 1992. “Finite Models for Some Substructural Logics.” Logique et Analyse 35(139–140): 313–333.
Slaney, John K., Meyer, Robert K. and Restall, Greg. 1996. “Linear Arithmetic Desected.” Logique et Analyse 39(155–156): 379–387.
Slaney, John K. and Thiébaux, Sylvie. 2001. “Blocks World Revisited.” Artificial Intelligence 125(1–2): 119–153.