Showing 1 - 8 results of 8 for search 'Electronic Proceedings in Theoretical Computer Science', זמן שאילתה: 0.47s Refine Results
  1. 1
    Categories for dynamic epistemic logic

    Categories for dynamic epistemic logic מאת Kishida, K

    יצא לאור 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 מאת Benerecetti, M, Dell'Erba, D, Mogavero, F

    יצא לאור 2016
    "...Electronic Proceedings in Theoretical Computer Science..."
    Conference item
  3. 3
    Cycle detection in computation tree logic

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

    יצא לאור 2016
    "...Electronic Proceedings in Theoretical Computer Science..."
    Conference item
  4. 4
    Belief revision from probability

    Belief revision from probability מאת Salow, BJ, Goodman, J

    יצא לאור 2023
    "...Electronic Proceedings in Theoretical Computer Science..."
    Conference item
  5. 5
    Operational axioms for diagonalizing states

    Operational axioms for diagonalizing states מאת Chiribella, G, Scandolo, C

    יצא לאור 2015
    "...Electronic Proceedings in Theoretical Computer Science..."
    Conference item
  6. 6
    Two roads to classicality

    Two roads to classicality מאת Coecke, B, Selby, J, Tull, S

    יצא לאור 2018
    "...Electronic Proceedings in Theoretical Computer Science..."
    Conference item
  7. 7
    Tight reference frame-independent quantum teleportation

    Tight reference frame-independent quantum teleportation מאת Verdon, D, Vicary, J

    יצא לאור 2017
    "...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 מאת Pirog, M, Gibbons, J

    יצא לאור 2015
    "...Electronic Proceedings in Theoretical Computer Science (EPTCS)..."
    Conference item

כלי חיפוש: