Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Konev, Boris (Επιμελητής έκδοσης), Wolter, Frank (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4720
• Θέματα: Computer science.; Computer programming.; Software engineering.; Computers.; Mathematical logic.; Artificial intelligence.; Computer Science.; Theory of Computation.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Programming Techniques.; Software Engineering.

Πίνακας περιεχομένων:

• 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.