Now showing items 1-1 of 1

    • Kleene Algebra with Tests and Program Schematology 

      Angus, Allegra; Kozen, Dexter (Cornell University, 2001-07-10)
      The theory of flowchart schemes has a rich history going back to Ianov (1960); see Manna (1974) for an elementary exposition. A central question in the theory of program schemes is scheme equivalence. Manna presents ...