2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC. Barto, L., Csima, B. F, Hirst, J. L, Hrusak, M., Kolesnikov, A. S, Laskowski, M C., Marks, A., de Paiva, V., & Walsh, S. The Bulletin of Symbolic Logic, 2015.
bibtex   
@article{barto20152014,
  title={2014 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC},
  author={Barto, Libor and Csima, Barbara F and Hirst, Jeffry L and Hrusak, Michael and Kolesnikov, Alexei S and Laskowski, M Chris and Marks, Andrew and de Paiva, Valeria and Walsh, Sean},
  journal={The Bulletin of Symbolic Logic},
  volume={21},
  number={2},
  year={2015}
}

Downloads: 0