6. FroCos 2007: Liverpool, UK

Boris Konev, Frank Wolter (Eds.): Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings. Lecture Notes in Computer Science 4720 Springer 2007, ISBN 978-3-540-74620-1 BibTeX

Invited Contributions

Sava Krstic, Amit Goel:
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. 1-27
Electronic Edition (link) BibTeX
Roberto Sebastiani:
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. 28-46
Electronic Edition (link) BibTeX
Viorica Sofronie-Stokkermans:
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. 47-71
Electronic Edition (link) BibTeX
Michael Zakharyaschev:
Temporalising Logics: Fifteen Years After. 72
Electronic Edition (link) BibTeX

Technical Papers

Beatriz Alarcón, Salvador Lucas:
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs. 73-87
Electronic Edition (link) BibTeX
Hasan Amjad:
A Compressing Translation from Propositional Resolution to Natural Deduction. 88-102
Electronic Edition (link) BibTeX
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune:
Combining Algorithms for Deciding Knowledge in Security Protocols. 103-117
Electronic Edition (link) BibTeX
Carlos Caleiro, Jaime Ramos:
Combining Classical and Intuitionistic Implications. 118-132
Electronic Edition (link) BibTeX
Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch:
Towards an Automatic Analysis of Web Service Security. 133-147
Electronic Edition (link) BibTeX
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain:
Certification of Automated Termination Proofs. 148-162
Electronic Edition (link) BibTeX
Clare Dixon, Michael Fisher, Boris Konev:
Temporal Logic with Capacity Constraints. 163-177
Electronic Edition (link) BibTeX
Tim French:
Idempotent Transductions for Modal Logics. 178-192
Electronic Edition (link) BibTeX
Tim French, John C. McCabe-Dansted, Mark Reynolds:
A Temporal Logic of Robustness. 193-205
Electronic Edition (link) BibTeX
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Noetherianity and Combination Problems. 206-220
Electronic Edition (link) BibTeX
Hitoshi Ohsaki, Hiroyuki Seki:
Languages Modulo Normalization. 221-236
Electronic Edition (link) BibTeX
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran:
Combining Proof-Producing Decision Procedures. 237-251
Electronic Edition (link) BibTeX
Jacques Chabin, Pierre Réty:
Visibly Pushdown Languages and Term Rewriting. 252-266
Electronic Edition (link) BibTeX
Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl:
Proving Termination Using Recursive Path Orders and SAT Solving. 267-282
Electronic Edition (link) BibTeX