Dexter Kozen's Online Publications
Current status: normal - monitoring
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2012-01-15 06:32
Most recent change (text, html) : 2012-01-15 06:32
Last checked for changes: 2012-02-14 06:34
ChangeDetection started monitoring: 2008-03-07 06:29
|
monitor this page
summary of most recent changes
|
View changes:
2012-01-15 06:32
51 new words, 0 deleted words, <1% change
|
|
... Kleene Algebra & Logic Jean-Baptiste Jeannin and Dexter Kozen . Capsules and separation. Technical Report http://hdl.handle.net/1813/28284, Computing and Information Science, Cornell University, January 2012. [ full text (.pdf) ] [ abstract ] [ bibtex ] [ top ] Dexter Kozen and Alexandra Silva. Left-handed
Kleene Algebra & Logic Jean-Baptiste Jeannin and Dexter Kozen . Capsules and separation. Technical Report http://hdl.handle.net/1813/28284, Computing and Information Science, Cornell University, January 2012. [ full text (.pdf) ] [ abstract ] [ bibtex ] [ top ] Dexter Kozen and Alexandra Silva. Left-handed
Kleene Algebra & Logic ... Alexandra Silva. Left-handed
|
|
View changes:
2011-12-24 06:30
564 new words, 506 deleted words, 18% change
|
|
... Computer Science , pages 454-460463-469. Springer-Verlag, August ... category theory. In: Proc. 3rd ... (IJCAR'06), ) , number 4130 in Lecture ... Möller. Separability in Domain Semiringsdomain semirings. Technical Report 2004-16 ... Kozen. Toward the Automation automation of Category Theorycategory theory. Technical Report TR ... Dexter Kozen. Some Results results in Dynamic Model Theorydynamic model theory...
Computer Science , pages 463-469. Springer-Verlag, August ... (IJCAR'06) , number 4130 in Lecture ... Möller. Separability in domain semirings. Technical Report 2004-16 ... Kozen. Toward the automation of category theory. Technical Report TR ... Dexter Kozen. Some results in dynamic model theory. Science of Computer Programming ... , 51(1-2):3-22, May 2004... . Special issue: Mathematics of Program Construction (MPC 2002...
Computer Science , pages 454-460. Springer-Verlag, August ... category theory. In: Proc. 3rd ... (IJCAR'06), number 4130 in Lecture ... Möller. Separability in Domain Semirings. Technical Report 2004-16 ... Kozen. Toward the Automation of Category Theory. Technical Report TR ... Dexter Kozen. Some Results in Dynamic Model Theory. Science of Computer Programming 51:1-2, ... May 2004, 3-22. Special issue...
more...
|
|
View changes:
2011-08-24 07:52
50 new words, 0 deleted words, <1% change
|
|
... Logic Dexter Kozen and Alexandra Silva. Left-handed completeness. Technical Report http://hdl.handle.net/1813/23556, Computing and Information Science, Cornell University, August 2011. [ full text (.pdf) ] [ abstract ] [ bibtex ] [ top ] Dexter Kozen and Ganesh Ramanarayanan. Publication
Logic Dexter Kozen and Alexandra Silva. Left-handed completeness. Technical Report http://hdl.handle.net/1813/23556, Computing and Information Science, Cornell University, August 2011. [ full text (.pdf) ] [ abstract ] [ bibtex ] [ top ] Dexter Kozen and Ganesh Ramanarayanan. Publication
Logic Dexter Kozen and ... Ganesh Ramanarayanan. Publication
|
|
View changes:
2011-06-14 06:29
37 new words, 18 deleted words, 1% change
|
|
... of coinductive types. Technical Report http://hdlIn Michael Mislove and Joël Ouaknine, editors, Proc.handle27th Conf.net/1813/22291Math. Found. Programming Semantics (MFPS XXVII) , Computing and Information Sciencepages 148-155, Cornell UniversityPittsburgh, February PA, May 2011. Elsevier Electronic Notes in Theoretical Computer Science. [ full text (.
of coinductive types. In Michael Mislove and Joël Ouaknine, editors, Proc.27th Conf.Math. Found. Programming Semantics (MFPS XXVII) , pages 148-155, Pittsburgh, PA, May 2011. Elsevier Electronic Notes in Theoretical Computer Science. [ full text (.
of coinductive types. Technical Report http://hdl.handle.net/1813/22291, Computing and Information Science, Cornell University, February 2011. ... [ full text (.
|
|
View changes:
2011-06-13 06:29
51 new words, 0 deleted words, <1% change
|
|
... Algebra Dexter Kozen and Alexandra Silva. On Moessner's theorem. Technical Report http://hdl.handle.net/1813/22959, Computing and Information Science, Cornell University, June 2011. [ full text (.pdf) ] [ abstract ] [ bibtex ] [ top ] Dexter Kozen and Kjartan Stefansson. Computing
Algebra Dexter Kozen and Alexandra Silva. On Moessner's theorem. Technical Report http://hdl.handle.net/1813/22959, Computing and Information Science, Cornell University, June 2011. [ full text (.pdf) ] [ abstract ] [ bibtex ] [ top ] Dexter Kozen and Kjartan Stefansson. Computing
Algebra Dexter Kozen and ... Kjartan Stefansson. Computing
|
link to this change log
Changes to the page www.cs.cornell.edu/~kozen/papers/papers_collapsed.htm are logged on this page as they are detected. You can link to this log
by pasting the HTML below into your page. It produces a link which looks like this: change log
|
|
