Advances in Proof Theory

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 28
• The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and... Lees meer

A Proof Theory for General Unification

W Snyder

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 11
• In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig- i... Lees meer

Number Theoretic Methods in Cryptography

Igor Shparlinski

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 17
• The book introduces new techniques which imply rigorous lower bounds on the complexity of some number theoretic and cryptographic problems. These meth... Lees meer

Temporal Type Theory

Patrick Schultz, David I Spivak

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 29
• This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. D... Lees meer

Number Theoretic Methods in Cryptography

Igor Shparlinski

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 17
• The book introduces new techniques which imply rigorous lower bounds on the complexity of some number theoretic and cryptographic problems. These meth... Lees meer

Coding, Cryptography and Combinatorics

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 23
• This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the b... Lees meer

Logical Methods

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 12
• The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in hon... Lees meer

Perspectives in Computational Complexity

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 26
• This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion ... Lees meer

An Introduction to Quantum Computing Algorithms

Arthur O Pittenger

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 19
• [see attached for complete text] Over the last decade quantum computing has become a rapidly growing field with relevance to topics from physics, math... Lees meer

Automata Theory and Its Applications

Bakhadyr Khoussainov, Anil Nerode

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 21
• Uniform treatment of the theory of finite state machines on finite and infinite strings and trees. Many books deal with automata on finite strings, bu... Lees meer

Cryptographic Applications of Analytic Number Theory

Igor Shparlinski

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 22
• The book introduces new techniques that imply rigorous lower bounds on the com- plexity of some number-theoretic and cryptographic problems. It also e... Lees meer

Symbolic Rewriting Techniques

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 15
• Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure o... Lees meer

A Graph-Theoretic Approach to Enterprise Network Dynamics

Horst Bunke, Peter J Dickinson, Miro Kraetzl, Walter D Wallis

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 24
• This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise networks. Network dynam... Lees meer

Bounded Queries in Recursion Theory

William Levine, Georgia Martin

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 16
• One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are. The natural measure of di... Lees meer

Mathematical Logic

Wei Li

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 25
• Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can als... Lees meer

Coding, Cryptography and Combinatorics

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 23
• This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the b... Lees meer

Feasible Mathematics

S R Buss, P J Scott

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 9
• A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real... Lees meer

Feasible Mathematics II

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 13
• Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what... Lees meer

Bounded Queries in Recursion Theory

William Levine, Georgia Martin

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 16
• One of the major concerns of theoretical computer science is the classifi- cation of problems in terms of how hard they are. The natural measure of di... Lees meer

Learning and Geometry: Computational Approaches

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 14
• The field of computational learning theory arose out of the desire to for- mally understand the process of learning. As potential applications to arti... Lees meer

Applied Probability-Computer Science: The Interface Volume 1

Ralph L Disney, Teunis J Ott

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 2
• These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Technical Section and College in App... Lees meer

Feasible Mathematics II

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 13
• Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what... Lees meer

Logical Methods

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 12
• The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in hon... Lees meer

An Introduction to Quantum Computing Algorithms

Arthur O Pittenger

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 19
• [see attached for complete text] Over the last decade quantum computing has become a rapidly growing field with relevance to topics from physics, math... Lees meer