Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Gramlich, Bernhard (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:Lecture Notes in Computer Science, 3717
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Logics, Theories, and Decision Procedures I
  • A Comprehensive Framework for Combined Decision Procedures
  • Connecting Many-Sorted Structures and Theories Through Adjoint Functions
  • Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
  • On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal
  • Interface Formalisms
  • Sociable Interfaces
  • Logics, Theories, and Decision Procedures II
  • About the Combination of Trees and Rational Numbers in a Complete First-Order Theory
  • A Complete Temporal and Spatial Logic for Distributed Systems
  • Constraint Solving and Programming
  • Hybrid CSP Solving
  • An Efficient Decision Procedure for UTVPI Constraints
  • Declarative Constraint Programming with Definitional Trees
  • Logical Problem Analysis and Encoding I
  • Logical Analysis of Hash Functions
  • Combination Issues in Rewriting and Programming
  • Proving and Disproving Termination of Higher-Order Functions
  • Proving Liveness with Fairness Using Rewriting
  • A Concurrent Lambda Calculus with Futures
  • Compositional System Design and Refinement
  • The ASM Method for System Design and Analysis. A Tutorial Introduction
  • Logical Problem Analysis and Encoding II
  • Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources
  • Theorem Proving Frameworks and Systems
  • Connecting a Logical Framework to a First-Order Logic Prover
  • Combination of Isabelle/HOL with Automatic Tools
  • ATS: A Language That Combines Programming with Theorem Proving.