« November 2005 | Main | January 2006 »
December 30, 2005
[Research] 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 09:40 PM | Comments (0)