Conferences in DBLP

Frontiers of Combining Systems (FroCoS) (frocos)
2007 (conf/frocos/2007)

1. Sava Krstic, Amit Goel
   Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:1-27 [Conf]
   
2. Roberto Sebastiani
   From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:28-46 [Conf]
   
3. Viorica Sofronie-Stokkermans
   Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:47-71 [Conf]
   
4. Michael Zakharyaschev
   Temporalising Logics: Fifteen Years After. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:72- [Conf]
   
5. Beatriz Alarcón, Salvador Lucas
   Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:73-87 [Conf]
   
6. Hasan Amjad
   A Compressing Translation from Propositional Resolution to Natural Deduction. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:88-102 [Conf]
   
7. Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
   Combining Algorithms for Deciding Knowledge in Security Protocols. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:103-117 [Conf]
   
8. Carlos Caleiro, Jaime Ramos
   Combining Classical and Intuitionistic Implications. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:118-132 [Conf]
   
9. Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
   Towards an Automatic Analysis of Web Service Security. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:133-147 [Conf]
   
10. Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
    Certification of Automated Termination Proofs. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:148-162 [Conf]
    
11. Clare Dixon, Michael Fisher, Boris Konev
    Temporal Logic with Capacity Constraints. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:163-177 [Conf]
    
12. Tim French
    Idempotent Transductions for Modal Logics. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:178-192 [Conf]
    
13. Tim French, John C. McCabe-Dansted, Mark Reynolds
    A Temporal Logic of Robustness. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:193-205 [Conf]
    
14. Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
    Noetherianity and Combination Problems. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:206-220 [Conf]
    
15. Hitoshi Ohsaki, Hiroyuki Seki
    Languages Modulo Normalization. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:221-236 [Conf]
    
16. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Combining Proof-Producing Decision Procedures. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:237-251 [Conf]
    
17. Jacques Chabin, Pierre Réty
    Visibly Pushdown Languages and Term Rewriting. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:252-266 [Conf]
    
18. Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl
    Proving Termination Using Recursive Path Orders and SAT Solving. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:267-282 [Conf]