Showing 1 - 8 results of 8 for search 'Electronic Proceedings in Theoretical Computer Science', query time: 0.24s Refine Results
  1. 1
    Categories for dynamic epistemic logic

    Categories for dynamic epistemic logic by Kishida, K

    Published 2017
    “…Electronic Proceedings in Theoretical Computer Science…”
    Conference item
  2. 2
    A delayed promotion policy for parity games

    A delayed promotion policy for parity games by Benerecetti, M, Dell'Erba, D, Mogavero, F

    Published 2016
    “…Electronic Proceedings in Theoretical Computer Science…”
    Conference item
  3. 3
    Cycle detection in computation tree logic

    Cycle detection in computation tree logic by Fontaine, G, Mogavero, F, Murano, A, Perelli, G, Sorrentino, L

    Published 2016
    “…Electronic Proceedings in Theoretical Computer Science…”
    Conference item
  4. 4
    Belief revision from probability

    Belief revision from probability by Salow, BJ, Goodman, J

    Published 2023
    “…Electronic Proceedings in Theoretical Computer Science…”
    Conference item
  5. 5
    Operational axioms for diagonalizing states

    Operational axioms for diagonalizing states by Chiribella, G, Scandolo, C

    Published 2015
    “…Electronic Proceedings in Theoretical Computer Science…”
    Conference item
  6. 6
    Two roads to classicality

    Two roads to classicality by Coecke, B, Selby, J, Tull, S

    Published 2018
    “…Electronic Proceedings in Theoretical Computer Science…”
    Conference item
  7. 7
    Tight reference frame-independent quantum teleportation

    Tight reference frame-independent quantum teleportation by Vicary, J, Verdon, D

    Published 2016
    “…Electronic Proceedings in Theoretical Computer Science…”
    Conference item
  8. 8
    From push/enter to eval/apply by program transformation

    From push/enter to eval/apply by program transformation by Pirog, M, Gibbons, J

    Published 2015
    “…Electronic Proceedings in Theoretical Computer Science (EPTCS)…”
    Conference item

Search Tools: