Skip to main content
  • Conference proceedings
  • © 2007

Frontiers of Combining Systems

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4720)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): FroCoS: International Symposium on Frontiers of Combining Systems

Conference proceedings info: FroCoS 2007.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  2. Section 2. Technical Papers

    1. Combining Algorithms for Deciding Knowledge in Security Protocols

      • Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
      Pages 103-117
    2. Combining Classical and Intuitionistic Implications

      • Carlos Caleiro, Jaime Ramos
      Pages 118-132
    3. Towards an Automatic Analysis of Web Service Security

      • Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
      Pages 133-147
    4. Certification of Automated Termination Proofs

      • Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
      Pages 148-162
    5. Temporal Logic with Capacity Constraints

      • Clare Dixon, Michael Fisher, Boris Konev
      Pages 163-177
    6. A Temporal Logic of Robustness

      • Tim French, John C. Mc Cabe-Dansted, Mark Reynolds
      Pages 193-205
    7. Noetherianity and Combination Problems

      • Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
      Pages 206-220
    8. Languages Modulo Normalization

      • Hitoshi Ohsaki, Hiroyuki Seki
      Pages 221-236
    9. Combining Proof-Producing Decision Procedures

      • Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
      Pages 237-251
    10. Visibly Pushdown Languages and Term Rewriting

      • Jacques Chabin, Pierre Réty
      Pages 252-266
    11. Proving Termination Using Recursive Path Orders and SAT Solving

      • Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl
      Pages 267-282
  3. Back Matter

Other Volumes

  1. Frontiers of Combining Systems

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions