Book titles in this series

Finite Automata, Formal Logic, and Circuit Complexity

Authors:

• Howard Straubing

• Copyright: 1994

Available Renditions

• Hard cover
• Soft cover
• eBook

Isomorphisms of Types

from ?-calculus to information retrieval and language design

Authors:

• Roberto DiCosmo

• Copyright: 1995

Available Renditions

• Hard cover
• Soft cover
• eBook

Neural Networks and Analog Computation

Beyond the Turing Limit

Authors:

• Hava T. Siegelmann

• Copyright: 1999

Available Renditions

• Hard cover
• Soft cover
• eBook

Object-Oriented Programming A Unified Foundation

Authors:

• Giuseppe Castagna

• Copyright: 1997

Available Renditions

• Hard cover
• Soft cover
• eBook

Polynomial and Matrix Computations

Fundamental Algorithms

Authors:

• Dario Bini
• Victor Y. Pan

• Copyright: 1994

Available Renditions

• Hard cover
• Soft cover
• eBook

Semantics of Type Theory

Correctness, Completeness and Independence Results

Authors:

• T. Streicher

• Copyright: 1991

Available Renditions

• Soft cover
• eBook

Solving Higher-Order Equations

From Logic to Programming

Authors:

• Christian Prehofer

• Copyright: 1998

Available Renditions

• Hard cover
• Soft cover
• eBook

Subrecursive Programming Systems

Complexity & Succinctness

Authors:

• James S. Royer
• John Case

• Copyright: 1994

Available Renditions

• Hard cover
• Soft cover
• eBook

The Combinatory Programme

Authors:

• Erwin Engeler

• Copyright: 1995

Available Renditions

• Hard cover
• Soft cover
• eBook

The Graph Isomorphism Problem

Its Structural Complexity

Authors:

• J. Kobler
• U. Schöning
• J. Toran

• Copyright: 1993

Available Renditions

• Hard cover
• Soft cover
• eBook