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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gramlich, Bernhard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Lecture Notes in Artificial Intelligence, 3717
Temas:
Computer science.
Artificial intelligence.
Machine theory.
Computer programming.
Software engineering.
Theory of Computation.
Artificial Intelligence.
Formal Languages and Automata Theory.
Programming Techniques.
Software Engineering.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares