A generalization of ACP using Belnaps logic: Extended abstract

Authors
Publication date 2006
Journal Electronic Notes in Theoretical Computer Science
Volume | Issue number 162
Pages (from-to) 287-293
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Meeting Abstract
Note journals/entcs/PonseZ06
Permalink to this page
Back