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

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

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

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

Coding, Cryptography and Combinatorics

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 23
• It has long been recognized that there are fascinating connections between cod- ing theory, cryptology, and combinatorics. Therefore it seemed desirab... Lees meer

An Introduction to Quantum Computing Algorithms

Arthur O Pittenger

• Paperback | Engels | Progress in Computer Science and Applied Logic | nr. 19
• In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently ... Lees meer

Automata Theory and Its Applications

Bakhadyr Khoussainov, Anil Nerode

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 21
• The theory of finite automata on finite stings, infinite strings, and trees has had a dis- tinguished history. First, automata were introduced to repr... 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

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

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

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

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

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

Coding, Cryptography and Combinatorics

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 23
• It has long been recognized that there are fascinating connections between cod- ing theory, cryptology, and combinatorics. Therefore it seemed desirab... 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

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

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

An Introduction to Quantum Computing Algorithms

Arthur O Pittenger

• Hardcover | Engels | Progress in Computer Science and Applied Logic | nr. 19
• In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently ... 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

Advances in Proof Theory

• Paperback | 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