Results (9)

  • CSL: Computer Science Logic
    Edited conference proceeding
  • Solving games without determinization
    Conference paper