Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74 (
2017)
Copy
BIBTEX
Archival history
By default, all copies archived after the launch of PhilArchive
(October 2017) are listed here. For papers already in the archive at
launch, only the most recent copy is listed here. Authors can
make older versions available or unavailable as they choose by
clicking the buttons provided (this requires that the
author is signed in and that the paper is associated with their
PhilPapers profile). To upload a new version of this paper,
use the entry editor.
Version 1 Uploaded: 01/18/2018, 19:05:25 GMT Format:
pdf
Download
Back to main record page