Frontiers of Combining Systems

Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. Proceedings

  • Hélène Kirchner
  • Christophe Ringeissen
Conference proceedings FroCoS 2000
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1794)

Table of contents

  1. Front Matter
  2. Invited Paper

    1. Alexander Bockmayr, Friedrich Eisenbrand
      Pages 1-17
  3. Session 1

    1. Laurent Granvilliers
      Pages 18-31
    2. Erica Melis, Jürgen Zimmer, Tobias Müller
      Pages 32-46
    3. Alessandro Armando, Silvio Ranise
      Pages 47-61
  4. Invited Paper

  5. Session 2

  6. Session 3

  7. Invited Paper

  8. Session 4

    1. Sergio Antoy, Michael Hanus
      Pages 171-185
    2. Miquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio
      Pages 186-199
    3. Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott
      Pages 200-216
  9. Invited Paper

  10. Session 5

    1. L. Bachmair, I. V. Ramakrishnan, A. Tiwari, L. Vigneron
      Pages 245-259
    2. Agostino Dovier, Carla Piazza, Alberto Policriti
      Pages 275-289
  11. Back Matter

About these proceedings

Keywords

AI logics Automated deduction Cut-elimination theorem constraint solving declarative programming logic mathematical logics optimization proof proving sequent calculus theorem proving

Editors and affiliations

  • Hélène Kirchner
    • 1
  • Christophe Ringeissen
    • 2
  1. 1.INRIA & LORIA 
  2. 2.LORIA - INRIAVillers-les-NancyFrance

Bibliographic information

  • DOI https://doi.org/10.1007/10720084
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67281-4
  • Online ISBN 978-3-540-46421-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book