did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540672814

Frontiers of Combining Systems: Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000 Proceedings

by ;
  • ISBN13:

    9783540672814

  • ISBN10:

    3540672818

  • Format: Paperback
  • Copyright: 2000-05-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $99.00

Summary

This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000.The 14 revised full papers presented together with four invited papers were carefully reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning, sequent calculus, type systems, model checking, theorem proving, declarative programming, logic programming, and equational theories.

Table of Contents

Invited Paper
Combining Logic and Optimization in Cutting Plane Theory
1(17)
Alexander Bockmayr
Friedrich Eisenbrand
Session 1
Towards Cooperative Interval Narrowing
18(14)
Laurent Granvilliers
Integrating Constraint Solving into Proof Planning
32(15)
Erica Melis
Jurgen Zimmer
Tobias Muller
Termination of Constraint Contextual Rewriting
47(15)
Alessandro Armando
Silvio Ranise
Invited Paper
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination
62(11)
Gilles Dowek
Session 2
Normal Forms and Proofs in Combined Modal and Temporal Logics
73(15)
U. Hustadt
C. Dixon
R. A. Schmidt
M. Fisher
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
88(17)
Paqui Lucio
Session 3
Handling Differential Equations with Constraints for Decision Support
105(16)
Jorge Cruz
Pedro Barahona
Non-trivial Symbolic Computations in Proof Planning
121(15)
Volker Sorge
Integrating Computer Algebra and Reasoning through the Type System of Aldor
136(15)
Erik Poll
Simon Thompson
Invited Paper
Combinations of Model Checking and Theorem Proving
151(20)
Tomas E. Uribe
Session 4
Compiling Multi-paradigm Declarative Programs into Prolog
171(15)
Sergio Antoy
Michael Hanus
Modular Redundancy for Theorem Proving
186(14)
Miquel Bofill
Guillem Godoy
Robert Nieuwenhuis
Albert Rubio
Composing and Controlling Search in Reasoning Theories Using Mappings
200(17)
Alessandro Coglio
Fausto Giunchiglia
Jose Meseguer
Carolyn L. Talcott
Invited Paper
Why Combined Decision Problems Are Often Intractable
217(28)
Klaus U. Schulz
Session 5
Congruence Closure Modulo Associativity and Commutativity
245(15)
L. Bachmair
I. V. Ramakrishnan
A. Tiwari
L. Givneron
Combining Equational Theories Sharing Non-Collapse-Free Constructors
260(15)
Franz Baader
Cesare Tinelli
Comparing Expressiveness of Set Constructor Symbols
275(16)
Agostino Dovier
Carla Piazza
Alberto Policriti
Author Index 291

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program