David Walker (walker-d)

Contributions to Philosophie.ch

Stirling, Colin and Walker, David. 1991. “Local Model Checking in the Modal Mu-Calculus.” Theoretical Computer Science 89: 161–177.

Walker, David. 2012. “A Kuhnian Defence of Inference to the Best Explanation.” Studies in History and Philosophy of Science 43(1): 64–73.