Progress in Computer Science and Applied Logic – serie

Applied Probability-Computer Science: The Interface Volume 1

Applied Probability— Computer Science: The Interface

Applied Probability-Computer Science: The Interface Volume 1

Sponsored by Applied Probability Technical Section College of the Operations Research Society of America The Institute of Management Sciences January 5–7, 1981 Florida Atlantic University Boca Raton, Florida

Notes on Introductory Combinatorics

Evolution of Programs

Lecture Notes on Bucket Algorithms

Real-Time Control of Walking

Feasible Mathematics

A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

Graph-Based Proof Procedures for Horn Clauses

Proof Theory for General Unification

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

Learning and Geometry: Computational Approaches

Bounded Queries in Recursion Theory

Introduction to Quantum Computing Algorithms

Automata Theory and its Applications

Graph-Theoretic Approach to Enterprise Network Dynamics

Applied Probability-Computer Science: The Interface Volume 1

Automata Theory and its Applications

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

Proof Theory for General Unification

Bounded Queries in Recursion Theory

Interpolating Cubic Splines

Introduction to Quantum Computing Algorithms

Feasible Mathematics II

Learning and Geometry: Computational Approaches

Temporal Type Theory

A Topos-Theoretic Approach to Systems and Behavior

Mathematical Logic

Foundations for Information Science

Cryptographic Applications of Analytic Number Theory

Complexity Lower Bounds and Pseudorandomness

Cryptography and Computational Number Theory