Vor Ort
Merkzettel Warenkorb
  • Produktbild: Frontiers of Combining Systems
  • Produktbild: Frontiers of Combining Systems
Band 4720

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2007

Abbildungen

X, 286 p.

Herausgeber

Boris Konev + weitere

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

452 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-74620-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2007

Abbildungen

X, 286 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

286

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

452 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-74620-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Frontiers of Combining Systems
  • Produktbild: Frontiers of Combining Systems
  • 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.