Decision problems for pushdown threads

Authors
Publication date 2006
Journal The Bulletin of Symbolic Logic
Volume | Issue number 12
Pages (from-to) 311-312
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Meeting Abstract
Note journals/bsl/BergstraBP06
Permalink to this page
Back