Notices
Results 1 to 1 of 1

Thread: EXPTIME in Descriptive Complexity

  1. #1 EXPTIME in Descriptive Complexity 
    New Member
    Join Date
    Mar 2010
    Posts
    1
    Hello Everybody!

    I was looking everywhere for original paper in which was proven that EXPTIME = Second Order Logic with Least Fixed Point (on finite structures).

    Any help would be appreciated


    Reply With Quote  
     

  2.  
     

Bookmarks
Bookmarks
Posting Permissions
  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •