Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

Frontiers of Combining Systems

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

Editors:

  1. Boris Konev
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frank Wolter
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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.

Sections

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 papers)

  1. Front Matter

    PDF

  3. Section 2. Technical Papers

    3. Combining Algorithms for Deciding Knowledge in Security Protocols

      • Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
      Pages 103-117

    4. Combining Classical and Intuitionistic Implications

      • Carlos Caleiro, Jaime Ramos
      Pages 118-132

    5. Towards an Automatic Analysis of Web Service Security

      • Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
      Pages 133-147

    6. Certification of Automated Termination Proofs

      • Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
      Pages 148-162

    7. Temporal Logic with Capacity Constraints

      • Clare Dixon, Michael Fisher, Boris Konev
      Pages 163-177

    9. A Temporal Logic of Robustness

      • Tim French, John C. Mc Cabe-Dansted, Mark Reynolds
      Pages 193-205

    10. Noetherianity and Combination Problems

      • Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
      Pages 206-220

    11. Languages Modulo Normalization

      • Hitoshi Ohsaki, Hiroyuki Seki
      Pages 221-236

    12. Combining Proof-Producing Decision Procedures

      • Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
      Pages 237-251

    13. Visibly Pushdown Languages and Term Rewriting

      • Jacques Chabin, Pierre Réty
      Pages 252-266

    14. Proving Termination Using Recursive Path Orders and SAT Solving

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

  4. Back Matter

    PDF
Back to top

Other Volumes

  1. Frontiers of Combining Systems

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation