Constrained hyper tableaux

Authors
Publication date 2001
Host editors
  • L. Fribourg
Book title Computer Science Logic
Series LNCS, 2142
Pages (from-to) 232-246
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back