Dexter Kozen
AuthID: R-00H-479
1
TÃTULO: Joint Distributions in Probabilistic Semantics
AUTORES: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.06913
AUTORES: Dexter Kozen; Alexandra Silva; Erik Voogd;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.06913
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Formalizing Moessner's theorem and generalizations in Nuprl
AUTORES: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: J. Log. Algebraic Methods Program., VOLUME: 124
AUTORES: Mark Bickford; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: J. Log. Algebraic Methods Program., VOLUME: 124
INDEXADO EM: DBLP
DBLP3
TÃTULO: Left-handed completeness
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Theor. Comput. Sci., VOLUME: 807
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: Theor. Comput. Sci., VOLUME: 807
INDEXADO EM: DBLP
DBLP4
TÃTULO: CoCaml: Functional Programming with Regular Coinductive Types
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2017, FONTE: Fundam. Inform., VOLUME: 150, NÚMERO: 3-4
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2017, FONTE: Fundam. Inform., VOLUME: 150, NÚMERO: 3-4
INDEXADO EM: DBLP
DBLP5
TÃTULO: Deciding Probabilistic Program Equivalence in NetKAT PDF
AUTORES: Steffen Smolka; David Kahn; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02772
AUTORES: Steffen Smolka; David Kahn; Praveen Kumar; Nate Foster; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.02772
INDEXADO EM: DBLP 
arXiv
DBLP arXiv6
TÃTULO: Completeness and incompleteness in nominal Kleene algebra
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 91
AUTORES: Dexter Kozen; Konstantinos Mamouras; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 91
INDEXADO EM: DBLP
DBLP7
TÃTULO: Well-founded coalgebras, revisited
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
AUTORES: Jean Baptiste Jeannin; Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP8
TÃTULO: Practical coinduction
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2017, FONTE: Mathematical Structures in Computer Science, VOLUME: 27, NÚMERO: 7
INDEXADO EM: DBLP
DBLP9
TÃTULO: On Moessner's Theorem
AUTORES: Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: The American Mathematical Monthly, VOLUME: 120, NÚMERO: 2
AUTORES: Dexter Kozen; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: The American Mathematical Monthly, VOLUME: 120, NÚMERO: 2
