Skip to main content
SpringerLink
Log in

Frontiers of Combining Systems

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

  • Conference proceedings
  • © 2007

Overview

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)

Included in the following conference series:

Conference proceedings info: FroCoS 2007.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Download chapter PDF

  3. Section 2. Technical Papers

    1. Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs

      • Beatriz Alarcón, Salvador Lucas
      Pages 73-87

    2. A Compressing Translation from Propositional Resolution to Natural Deduction

      • Hasan Amjad
      Pages 88-102

    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

    8. Idempotent Transductions for Modal Logics

      • Tim French
      Pages 178-192

    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

    Download chapter PDF
Back to top

Other volumes

  1. Frontiers of Combining Systems

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation