Topological perspective on the hybrid proof rules

Authors
Publication date 2007
Journal Electronic Notes in Theoretical Computer Science
Volume | Issue number 174
Pages (from-to) 79-94
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Article
Note tencate2007:topological
Permalink to this page
Back