Corpus ID: 64499969

Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation

@inproceedings{Galmiche2014SpecialIO,
  title={Special Issue on Computational Logic ( in honor to Roy Dyckhoff) of Journal of Logic and Computation},
  author={D. Galmiche and St'ephane Graham-Lengrand},
  year={2014}
}