Structured problems for modal satisfiability testing

Authors
Publication date 2001
Host editors
  • C. Areces
  • M. de Rijke
Book title Proceedings of M4M Workshop, 2001
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back