« Microsoft's Indigo | Main | Static typechecking in Mozart »
December 30, 2005
Resources on the analytical hierarchy
Going to need to collect some complete problems for Sigma_1^1. It's hard to google on Sigma_1^1 so we are going to have to go with the paper books this time.
Elsevier.com - Classical Recursion Theory
Jiri Srba paper on bisimilarity for Petri nets It looks like the two counter machines from Alur's thesis are perhaps a standard complete problem form Sigma_1^1. Except they are called Minsky machines here.
Posted by jones at December 30, 2005 09:40 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)