Games, Automata and Matching

Colin Stirling. Games, Automata and Matching. In Frank Pfenning, editor, Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Volume 4603 of Lecture Notes in Computer Science, pages 1-2, Springer, 2007. [doi]

@inproceedings{Stirling07:0,
  title = {Games, Automata and Matching},
  author = {Colin Stirling},
  year = {2007},
  doi = {10.1007/978-3-540-73595-3_1},
  url = {http://dx.doi.org/10.1007/978-3-540-73595-3_1},
  researchr = {https://researchr.org/publication/Stirling07%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
  editor = {Frank Pfenning},
  volume = {4603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73594-6},
}