Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: subject="Computer Science, Pro...
cover
A Framework for Priority Arguments
Comment Share
LERMAN,Manuel

This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…

Edition
-
ISBN/ISSN
9780511750779
Collation
-
Series Title
Lecture Notes in Logic
Call Number
-