Special Issue on Computational Logic in Honour of Roy Dyckhoff

Didier Galmiche, Stéphane Graham-Lengrand. Special Issue on Computational Logic in Honour of Roy Dyckhoff. Journal of Logic and Computation, 26(2):463-465, 2016. [doi]

Authors

Didier Galmiche

This author has not been identified. Look up 'Didier Galmiche' in Google

Stéphane Graham-Lengrand

This author has not been identified. Look up 'Stéphane Graham-Lengrand' in Google