Modality, bisimulation and interpolation in infinitary logic

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