Frontiers of Combining Systems

6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

  • Editors
  • Boris Konev
  • Frank Wolter
Conference proceedings FroCoS 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4720)

Table of contents

  1. Front Matter
  2. Section 1. Invited Contributions

  3. Section 2. Technical Papers

    1. Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
      Pages 103-117
    2. Carlos Caleiro, Jaime Ramos
      Pages 118-132
    3. Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
      Pages 133-147
    4. Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
      Pages 148-162
    5. Clare Dixon, Michael Fisher, Boris Konev
      Pages 163-177
    6. Tim French, John C. Mc Cabe-Dansted, Mark Reynolds
      Pages 193-205
    7. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
      Pages 206-220
    8. Hitoshi Ohsaki, Hiroyuki Seki
      Pages 221-236
    9. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
      Pages 237-251
    10. Jacques Chabin, Pierre Réty
      Pages 252-266
    11. Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl
      Pages 267-282
  4. Back Matter

About these proceedings

Keywords

Erfüllbarkeitsproblem der Aussagenlogik Resolution algorithm algorithms automated deduction binary decision diagrams constraint solving decision procedures declarative programming logic model checking programming proof engines term rewriting theore

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-74621-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-74620-1
  • Online ISBN 978-3-540-74621-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book