Logic programming and parallel complexity.- The generalized counting method for recursive logic q...

International Federation for Information Processing The IFIP series publishes state-of-the-art re...

To examine, analyze, and manipulate a problem to the point of designing an algorithm for solving ...

N COMPUTER applications we are used to live with approximation. Var­ I ious notions of approximat...

This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP ...

This book explains the development of theoretical computer science in its early stages, specifica...

This book provides a comprehensive overview of pertussis - also known as whooping cough. The firs...

This book explores the tight relationship that existed between application needs and computationa...

N COMPUTER applications we are used to live with approximation. Var­ I ious notions of approximat...

This book explains the development of theoretical computer science in its early stages, specifica...