Algebraic Computability and Enumeration Models —— Recursion Theory and Descriptive Complexity

----- 代数可计算性和计数模式：递归论和描述的复杂性

ISBN: 9781771882477 出版年：2016 页码：304 Nourani, Cyrus F Apple Academic Press

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples