@Inproceedings{EPTCS96.8, author = {Dimovski, Aleksandar S.}, year = {2012}, title = {Symbolic Representation of Algorithmic Game Semantics}, editor = {Faella, Marco and Murano, Aniello}, booktitle = {{\rm Proceedings Third International Symposium on} Games, Automata, Logics and Formal Verification , {\rm Napoli, Italy, September 6-8, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {96}, publisher = {Open Publishing Association}, pages = {99-112}, doi = {10.4204/EPTCS.96.8}, }