Typed logics with states

Open Access
Authors
Publication date 1997
Journal Logic Journal of the IGPL
Volume | Issue number 5 | 5
Pages (from-to) 623-645
Organisations
  • Faculty of Science (FNWI) - Korteweg-de Vries Institute for Mathematics (KdVI)
Document type Article
Downloads
Permalink to this page
Back