Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Subject Kleene algebra

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 9 of 9
PreviewIssue DateTitleAuthor(s)
23-Jan-2008The Boehm-Jacopini Theorem is False, PropositionallyKozen, Dexter; Tseng, Wei-Lung (Dustin)
26-Mar-2014A Coalgebraic Decision Procedure for NetKATFoster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure
14-Nov-2014Completeness and Incompleteness in Nominal Kleene AlgebraKozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra
8-Jan-2014KAT + B!Grathwohl, Niels Bjørn Bugge; Kozen, Dexter; Mamouras, Konstantinos
27-Feb-2014Kleene Algebra with EquationsKozen, Dexter; Mamouras, Konstantinos
23-Aug-2011Left-Handed CompletenessKozen, Dexter; Silva, Alexandra
11-Apr-2008Nonlocal Flow of Control and Kleene Algebra with TestsKozen, Dexter
14-Mar-2008On the Coalgebraic Theory of Kleene Algebra with TestsKozen, Dexter
22-Feb-2013Typed Kleene Algebra with Products and Iteration TheoriesKozen, Dexter; Mamouras, Konstantinos
Showing results 1 to 9 of 9

 

© 2014 Cornell University Library Contact Us