24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18-21, 2017
Volume
24
Pagination
386 - 387
DOI
10.1017/bsl.2018.22
Journal
BULLETIN OF SYMBOLIC LOGIC
Issue
ISSN
1079-8986