Now showing items 1-1 of 1

    • A Generalization of Staalmarck's Method 

      Reps, Thomas; Thakur, Aditya (University of Wisconsin-Madison Department of Computer Sciences, 2011-12)
      This paper gives an account of Staalmarck's method for validity checking of propositional-logic formulas, and explains each of the key components in terms of concepts from the field of abstract interpretation. We then ...