14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007)
Leivant, Daniel, de Queroz, Ruy J. G. B.Volume:
14
Language:
english
Journal:
Bulletin of Symbolic Logic
DOI:
10.2178/bsl/1208358850
Date:
March, 2008
File:
PDF, 52 KB
english, 2008