Search Results - Dexter Kozen

Refine Results
  1. 101
    Rabin measures and their applications to fairness and automata theory

    Rabin measures and their applications to fairness and automata theory by Klarlund, N., Kozen, D.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  2. 102
    Supporting workflow in a course management system

    Supporting workflow in a course management system by Botev, Chavdar, Chao, Hubert, Chao, Theodore, Cheng, Yim, Doyle, Raymond, Grankin, Sergey, Guarino, Jon, Guha, Saikat, Lee, Pei-Chen, Perry, Dan, Re, Christopher, Rifkin, Ilya, Yuan, Tingyan, Abdullah, Dora, Carpenter, Kathy, Gries, David, Kozen, Dexter, Myers, Andrew, Schwartz, David, Shanmugasundaram, Jayavel

    Published in SIGCSE bulletin
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 103
    A programming language for the inductive sets, and applications

    A programming language for the inductive sets, and applications by Harel, David, Kozen, Dexter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 104
    Process logic: Expressiveness, decidability, completeness

    Process logic: Expressiveness, decidability, completeness by Harel, David, Kozen, Dexter, Parikh, Rohit

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 105
    Functional decomposition of polynomials

    Functional decomposition of polynomials by von zur Gathen, Joachim, Kozen, Dexter, Landau, Susan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 106
    Algebraic cell decomposition in NC

    Algebraic cell decomposition in NC by Kozen, Dexter, Yap, Chee-Kang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 107
    A zero-one law for logic with a fixed-point operator

    A zero-one law for logic with a fixed-point operator by Blass, Andreas, Gurevich, Yuri, Kozen, Dexter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 108
    Efficient inference of partial types

    Efficient inference of partial types by Kozen, D., Palsberg, J., Schwartzbach, M.I.

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  9. 109
    Efficient average-case algorithms for the modular group

    Efficient average-case algorithms for the modular group by Jin-Yi Cai, Fuchs, W.H., Kozen, D., Zicheng Lui

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 110
    Foreword

    Foreword by Blum, Manuel, Galil, Zvi, Ibarra, Oscar H., Kozen, Dexter, Miller, Gary L., Munro, J. Ian, Ruzzo, W. L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: