Higher-Order Computability

Higher-Order Computability

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and ha...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Longley, John (Συγγραφέας), Normann, Dag (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Έκδοση:	1st ed. 2015.
Σειρά:	Theory and Applications of Computability, In cooperation with the association Computability in Europe,
Θέματα:	Computer science. Computers. Computer science > Mathematics. Computer Science. Theory of Computation. Mathematics of Computing.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /
Έκδοση: (2009)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
Έκδοση: (2005)

The Foundations of Computability Theory
ανά: Robič, Borut
Έκδοση: (2015)

Turing Computability Theory and Applications /
ανά: Soare, Robert I.
Έκδοση: (2016)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
Έκδοση: (2007)

On the Higher-Order Sheffer Orthogonal Polynomial Sequences
ανά: Galiffa, Daniel J.
Έκδοση: (2013)

Extremal Combinatorics With Applications in Computer Science /
ανά: Jukna, Stasys
Έκδοση: (2011)

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Έκδοση: (2013)

Modeling Time in Computing
ανά: Furia, Carlo A., κ.ά.
Έκδοση: (2012)

Modern Language Models and Computation Theory with Applications /
ανά: Meduna, Alexander, κ.ά.
Έκδοση: (2017)

Sets, Logic and Maths for Computing
ανά: Makinson, David
Έκδοση: (2008)

Elements of Computation Theory
ανά: Singh, Arindama
Έκδοση: (2009)

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings /
Έκδοση: (2005)

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
Έκδοση: (2009)

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings /
Έκδοση: (2012)

Mathematical Methods in Computer Science Essays in Memory of Thomas Beth /
Έκδοση: (2008)

Concise Guide to Computation Theory
ανά: Maruoka, Akira
Έκδοση: (2011)

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
Έκδοση: (2008)

Introduction to Bayesian Scientific Computing Ten Lectures on Subjective Computing /
ανά: Calvetti, Daniela, κ.ά.
Έκδοση: (2007)

The Pillars of Computation Theory State, Encoding, Nondeterminism /
ανά: Rosenberg, Arnold L.
Έκδοση: (2010)

Graph Separators, with Applications
ανά: Rosenberg, Arnold L., κ.ά.
Έκδοση: (2002)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings /
Έκδοση: (2005)

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
Έκδοση: (2007)

Theory of Computation
ανά: Kozen, Dexter C.
Έκδοση: (2006)

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 /
ανά: Lipton, Richard J., κ.ά.
Έκδοση: (2013)

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings /
Έκδοση: (2007)

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings /
Έκδοση: (2009)

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings /
Έκδοση: (2011)

The Puzzle of Granular Computing
ανά: Apolloni, Bruno, κ.ά.
Έκδοση: (2008)

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings /
Έκδοση: (2006)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings /
Έκδοση: (2005)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
Έκδοση: (2007)

Space in Weak Propositional Proof Systems
ανά: Bonacina, Ilario
Έκδοση: (2017)

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
Έκδοση: (2014)

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /
Έκδοση: (2012)

The Incomputable Journeys Beyond the Turing Barrier /
Έκδοση: (2017)

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Έκδοση: (2013)

Computing and Combinatorics 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings /
Έκδοση: (2004)

Computational Science and Its Applications – ICCSA 2004 International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I /
Έκδοση: (2004)

Computational Science and Its Applications – ICCSA 2004 International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part IV /
Έκδοση: (2004)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών