First Page | Document Content | |
---|---|---|
Date: 2011-06-26 09:17:12 | Incremental Decision Procedures for Modal Logic with Nominals and Eventualities Gert Smolka Saarland UniversityAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 56,52 KBShare Document on Facebook |