The interpolation theorem for IL and ILP.

Authors
Publication date 1998
Series ml-1998-11, ILLC
Publisher Amsterdam: WINS (oud WINS)
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Permalink to this page
Back