Proceedings - Symposium on Logic in Computer Science, ‎1043-6871

Journal

Publications

  1. Conference article › Research › Peer-reviewed
  2. Published

    Abstract machines for game semantics, revisited

    Dan Ghica, 9 Sep 2013, In: Proceedings - Symposium on Logic in Computer Science. p. 560-569 10 p., 6571589.

    Research output: Contribution to journalConference articlepeer-review