Deciding the guarded fragments by resolution

Authors
Publication date 2003
Journal Journal of Symbolic Computation
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back