- Halting and Equivalence of Schemes over Recursive Theories
- Science of Computer Programming 51 (2004) 322 www.elsevier.com/locate/scico
- Dexter Campbell Kozen June 13, 2011
- Realization of Coinductive Types Dexter Kozen1,2
- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
- Fundamenta Informaticae 105 (2010) 18 1 DOI 10.3233/FI-2010-306
- Lexicographic Flow Dexter Kozen
- On the Coalgebraic Theory of Kleene Algebra with Tests
- The BohmJacopini Theorem is False, Propositionally
- Logical Methods in Computer Science Vol. 3 (4:8) 2007, pp. 114
- Collective Inference on Markov Models for Modeling Bird Migration
- KAT-ML: An interactive theorem prover for Kleene algebra with tests
- Bytecode 2005 Preliminary Version Kleene Algebra and Bytecode Verification
- Natural Transformations as Rewrite Rules and Monad Composition
- ARTICLE IN PRESS Annals of Pure and Applied Logic ( )
- Kleene Algebra with Tests and the Static Analysis of Programs
- On the Complexity of the Horn Theory of REL Chris Hardin
- On the Complexity of Reasoning in Kleene Algebra Dexter Kozen
- Malicious Code Detection for Open Firmware Frank Adelstein, Matt Stillerman
- On Two Letters versus Three Dexter Kozen
- Kleene Algebra with Tests and Program Schematology
- UNCORRECTEDPROOF On the completeness of propositional
- A Note on the Complexity of Propositional Hoare Ernie Cohen1
- Language-Based Security Dexter Kozen
- Chicago Journal of Theoretical Computer Science
- A Finite Model Theorem for the Propositional -Calculus
- Toward the Automation of Category Theory Dexter Kozen
- Kleene Algebra with Tests DEXTER KOZEN
- Publication/Citation: A Proof-Theoretic Approach to Mathematical
- This is page xi Printer: Opaque this
- Rational Spaces and Set Constraints ? Dexter Kozen
- Separability in Domain Semirings Dexter Kozen1
- Equational Verification of Cache Blocking in LU Decomposition using Kleene Algebra with Tests
- Efficient Resolution of Singularities of Plane Curves \Lambda
- Some Notes on Rational Spaces Allan Cheng # and Dexter Kozen
- On Action Algebras \Lambda Dexter Kozen y
- Computing with Capsules Jean-Baptiste Jeannin
- Learning Prediction Suffix Trees with Winnow Nikos Karampatziakis nk@cs.cornell.edu
- Certi cation of Compiler Optimizations using Kleene Algebra with Tests
- MyhillNerode Relations on Automatic Systems and the Completeness of Kleene Algebra
- Optimal Bounds for the ChangeMaking Dexter Kozen 1 and Shmuel Zaks 2
- On Hoare Logic and Kleene Algebra with Tests Dexter Kozen
- The Design and Analysis of Algorithms
- Logical Aspects of Set Constraints \Lambda Dexter Kozen
- NC Algorithms for Comparability Graphs, Interval Graphs, and Unique Perfect Matchings \Lambda
- A Completeness Theorem for Kleene Algebras and the Algebra of Regular
- Set Constraints and Logic Programming Dexter Kozen
- Substructural Logic and Partial Correctness DEXTER KOZEN
- Efficient Inference of Partial Types Dexter Kozen
- On RegularityPreserving Functions Dexter Kozen
- Computing the Newtonian Graph DEXTER KOZEN y AND KJARTAN STEF '
- Efficient Recursive Subtyping \Lambda Dexter Kozen y
- Partial Automata and Finitely Generated Congruences
- Efficient AverageCase Algorithms for the Modular Group \Lambda
- A Complete GentzenStyle Axiomatization for Set Constraints \Lambda
- Definability with Bounded Number of Bound Neil Immerman \Lambda
- On the Elimination of Hypotheses in Kleene Algebra with Tests
- Typed Kleene Algebra Dexter Kozen
- Relational Semantics for Higher-Order Programs Kamal Aboul-Hosn and Dexter Kozen
- Efficient Algorithms for Optimal Video Transmission
- Automata on Guarded Strings and Applications Dexter Kozen
- APPLICATIONS OF METRIC COINDUCTION DEXTER KOZEN AND NICHOLAS RUOZZI
- Language-Based Security for Malicious Mobile Code Fred B. Schneider Dexter Kozen
- Second-Order Abstract Interpretation via Kleene Algebra lucja@cs.cornell.edu
- This is page xiii Printer: Opaque this
- Preface xiii I FUNDAMENTAL CONCEPTS
- On the Representation of Kleene Algebras with Tests Dexter Kozen
- On Hoare Logic, Kleene Algebra, and Types Dexter Kozen
- Local Variable Scoping and Kleene Algebra with Tests
- The Complexity of Kleene Algebra with Tests
- Kleene Algebra with Tests: Completeness and Decidability
- Supporting Workflow in a Course Management System Chavdar Botev Hubert Chao Theodore Chao Yim Cheng
- Tarskian Set Constraints, July 6, 1999 1 Tarskian Set Constraints
- On the MyhillNerode Theorem for Trees \Lambda Dexter Kozen y
- Decomposition of Algebraic Functions \Lambda Dexter Kozen 1 Susan Landau 2 Richard Zippel 1
- Parikh's Theorem in Commutative Kleene Algebra Mark W. Hopkins
- Polynomial Decomposition Algorithms Dexter Kozen \Lambda
- Synthesis of Parallel Algorithms June 10, 1994
- The Complexity of Set Constraints \Lambda Alexander Aiken 1 , Dexter Kozen 2 , Moshe Vardi 3 , Ed Wimmers 4
- E cient Code Certi cation Dexter Kozen
- On Kleene Algebras and Closed Semirings \Lambda Dexter Kozen y
- A Theory of Interleavers Kenneth Andrews \Lambda
- On Distance Coloring Dexter Kozen
- Optimal Coin Flipping Dexter Kozen
- Left-Handed Completeness Dexter Kozen
- On Moessner's Theorem Dexter Kozen
- Capsules and Separation Jean-Baptiste Jeannin
