Published 2001
| Version v1
Publication
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics
Creators
Contributors
Additional details
Identifiers
- URL
- http://hdl.handle.net/11567/209546
- URN
- urn:oai:iris.unige.it:11567/209546
Origin repository
- Origin repository
- UNIGE