Now showing items 1-2 of 2

    • Automata, Representations, And Proofs 

      Worthington, James (2009-10-14)
      In this dissertation, we study automata, languages, and functions between automata which preserve the language accepted. We examine them from the perspectives of representation theory, category theory, and proof theory. A ...
    • Automatic Proof Generation in Kleene Algebra with Tests 

      Worthington, James (Cornell University, 2007-01-18)
      Kleene algebra (KA) is the algebra of regular events. Familiar examples of Kleene algebras include regular sets, relational algebras, and trace algebras. A Kleene algebra with tests (KAT) is a Kleene algebra with an ...