From Parity Games to Circular Proofs. Santocanale, L. Electr. Notes Theor. Comput. Sci. (ENTCS), 65(1):305-316, 2002.
From Parity Games to Circular Proofs [link]Paper  bibtex   
@article{ dblp4151247,
  title = {From Parity Games to Circular Proofs},
  author = {Luigi Santocanale},
  author_short = {Santocanale, L.},
  bibtype = {article},
  type = {article},
  year = {2002},
  key = {dblp4151247},
  id = {dblp4151247},
  biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/Santocanale02},
  url = {http://dx.doi.org/10.1016/S1571-0661(04)80370-0},
  journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
  pages = {305-316},
  number = {1},
  volume = {65},
  text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 65(1):305-316 (2002)}
}
Downloads: 0