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

DOI: 10.1007/10720084

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

  • 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