Recursion Theory: Computational Aspects of Definability 9783110275643, 9783110275551

Recursion Theory: Computational Aspects of Definability 9783110275643, 9783110275551

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of defin

173 32 2MB Read more

Recursion theory. Computational aspects of definability 978-3-11-027555-1, 978-3-11-027564-3, 978-3-11-038129-0, 978-3-11-027565-0

395 50 2MB Read more

Higher Recursion Theory 9781316717301

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leadi

638 92 16MB Read more

General Recursion Theory: An Axiomatic Approach 1107168163, 9781107168169

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leadi

430 80 10MB Read more

Introduction to Applications of Modular Forms : Computational Aspects 9783031326288, 9783031326295

208 74 2MB Read more

Introduction to Applications of Modular Forms : Computational Aspects 9783031326295, 9783031326288

183 97 17MB Read more

Aspects of Schenkerian Theory 9780300028003, 0300028008

This book is a collection of ten essays—traditional and innovative, explanatory and analytical—each of which contributes

531 116 13MB Read more

Walther recursion

Part of the Lecture Notes in Computer Science book series (LNAI,volume 1104) Abstract Primitive recursion is a well kno

167 10 191KB Read more

Computational Dependency Theory 1614993513, 9781614993513

Dependencies directed labeled graph structures representing hierarchical relations between morphemes, words, and semanti

419 63 6MB Read more

Computational number theory 9781482205824, 1482205823

Arithmetic of Integers; Basic Arithmetic Operations; GCD; Congruences and Modular Arithmetic; Linear Congruences; Polyno

1,295 134 3MB Read more