Searching for authors named "Dexter Kozen" – sorted by Relevance.
65 documents found, showing 1 through 10.
Next 10 →
-
Halting and Equivalence of Schemes over Recursive Theories
- …Halting and Equivalence of Schemes over Recursive Theories Dexter Kozen Computer Science…
- Add To MetaCart
-
Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra
- …Myhill–Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra Dexter Kozen…
- Cited by 1 (0 self) – Add To MetaCart
-
Set Constraints and Logic Programming
- …Set Constraints and Logic Programming Dexter Kozen Computer Science Department, Cornell University…
- Cited by 16 (1 self) – Add To MetaCart
-
Computing the Newtonian Graph
- …Computing the Newtonian Graph DEXTER KOZEN y AND KJARTAN STEF ' ANSSON z y Computer Science…
- Cited by 2 (0 self) – Add To MetaCart
-
Efficient Resolution of Singularities of Plane Curves
- …Efficient Resolution of Singularities of Plane Curves Dexter Kozen Computer Science Department…
- Cited by 4 (0 self) – Add To MetaCart
-
Typed Kleene Algebra
- …Typed Kleene Algebra Dexter Kozen Department of Computer Science Cornell University Ithaca, New…
- Cited by 4 (2 self) – Add To MetaCart
-
E cient code certi cation
- …E cient Code Certi cation Dexter Kozen Department of Computer Science Cornell University Ithaca…
- Cited by 2 (2 self) – Add To MetaCart
-
Some results in dynamic model theory
- … results in dynamic model theory Dexter Kozen ∗ Computer Science Department, Cornell University, Ithaca, NY…
- Cited by 2 (1 self) – Add To MetaCart
-
On the Myhill-Nerode Theorem for Trees
- …On the Myhill-Nerode Theorem for Trees Dexter Kozen y Cornell University kozen…
- Cited by 9 (1 self) – Add To MetaCart
-
On the Complexity of Reasoning in Kleene Algebra
- …On the Complexity of Reasoning in Kleene Algebra Dexter Kozen Department of Computer Science Upson…
- Cited by 8 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
