Decision problems for pushdown threads

Authors	J.A. Bergstra I. Bethke A. Ponse
Publication date	2007
Journal	Acta Informatica
Volume | Issue number	44
Pages (from-to)	75-90
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Note	SSE1
Published at	https://doi.org/10.1007/s00236-007-0040-5
Permalink to this page