Model generation from constrained free variable tableaux

Authors
Publication date 2001
Host editors
  • Rajeev GorĂ©
  • Alexander Leitsch
  • Tobias Nipkov
Book title IJCAR 2001 - Short Papers
Pages (from-to) 160-169
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back