03095oam 2200589 450 99646592610331620210521080807.03-540-74621-810.1007/978-3-540-74621-8(CKB)1000000000490595(SSID)ssj0000317808(PQKBManifestationID)11230713(PQKBTitleCode)TC0000317808(PQKBWorkID)10295541(PQKB)11652150(DE-He213)978-3-540-74621-8(MiAaPQ)EBC3063305(MiAaPQ)EBC6413303(PPN)123164745(EXLCZ)99100000000049059520210521d2007 uy 0engurnn|008mamaatxtccrFrontiers of combining systems 6th international symposium, frocos 2007, liverpool, uk, september 10-12, 2007. Proceedings /edited by Boris Konev, Frank Wolter1st ed. 2007.Berlin, Germany ;New York, United States :Springer,[2007]©20071 online resource (X, 286 p.) Lecture notes in computer science. Lecture notes in artificial intelligence ; 4720,0302-9743Bibliographic Level Mode of Issuance: Monograph3-540-74620-X Includes bibliographical references and index.Section 1. Invited Contributions -- Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL -- From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain -- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions -- Temporalising Logics: Fifteen Years After -- Section 2. Technical Papers -- Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs -- A Compressing Translation from Propositional Resolution to Natural Deduction -- Combining Algorithms for Deciding Knowledge in Security Protocols -- Combining Classical and Intuitionistic Implications -- Towards an Automatic Analysis of Web Service Security -- Certification of Automated Termination Proofs -- Temporal Logic with Capacity Constraints -- Idempotent Transductions for Modal Logics -- A Temporal Logic of Robustness -- Noetherianity and Combination Problems -- Languages Modulo Normalization -- Combining Proof-Producing Decision Procedures -- Visibly Pushdown Languages and Term Rewriting -- Proving Termination Using Recursive Path Orders and SAT Solving.Lecture notes in computer science.Lecture notes in artificial intelligence ;4720.FroCos 2007Computer scienceCongressesLogic, Symbolic and mathematicalCongressesComputer scienceLogic, Symbolic and mathematical511.3Konev BorisWolter FrankMiAaPQMiAaPQUtOrBLWBOOK996465926103316Frontiers of Combining Systems2555154UNISA