Studies in Dynamic Logic

Authors
  • GIOVANNA Cepparello
Supervisors
Publication date 1995
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type PhD thesis
Note Research conducted at: elders
Permalink to this page
Back