Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive
147,54 €
The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Further applications to computing with ultrafilters on sets and Turing degree computability are examined.
Jetzt bei Ebay:
