Book 2007

Abstraction, reformulation, and approximation

B.C.) SARA 2007 (2007 Whistler

Publisher: Springer
Language: English
Published: 2007

Computer science -- Congresses.

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings
Author: Berthe Y. Choueiry, Toby Walsh
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67839-7
DOI: 10.1007/3-540-44914-0

Table of Contents:Partial Completeness of Abstract Fixpoint Checking