Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: keyword exact "halting problem" Add to list Journal Article A1 Solvability of the halting and reachability problem for binary 2-tag systems Liesbeth De Mol (UGent) (2010) Fundamenta Informaticae. 99(4). p.435-471 Add to list Conference Paper P1 Study of limits of solvability in tag systems Liesbeth De Mol (UGent) (2007) LECTURE NOTES IN COMPUTER SCIENCE. 4664. p.170-181