第一图书网

Frontiers of Combining Systems 组合系统前沿/会议录

Bernhard Gramlich 1 (2005年10月19日)
出版时间:

2005-10  

出版社:

1 (2005年10月19日)  

作者:

Bernhard Gramlich  

页数:

320  

内容概要

This book constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria, in September 2005. The 19 revised full papers presented including 2 system descriptions were carefully reviewed and selected from 28 submissions. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

书籍目录

Logics, Theories, and Decision Procedures I Invited Contribution: 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 AppraisalInterface Formalisms Invited Contribution: Sociable InterfacesLogics, 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 SystemsConstraint Solving and Programming Invited Contribution: Hybrid CSP Solving An Efficient Decision Procedure for UTVPI Constraints Declarative Constraint Programming with Definitional TreesLogical Problem Analysis and Encoding I Logical Analysis of Hash FunctionsCombination Issues in Rewriting and Programming Proving and Disproving Termination of Higher-Order Functions Proving Liveness with Fairness Using Rewriting A Concurrent Lambda Calculus with FuturesCompositional System Design and Refinement Tutorial: The ASM Method for System Design and Analysis. A Tutorial IntroductionLogical Problem Analysis and Encoding II Invited Contribution: Matching Classifications via a Bidirectional Integration of SAT and Linguistic ResourcesTheorem Proving Frameworks and Systems Connecting a Logical Framework to a First-Order Logic Prover System Description: Combination of Isabelle/HOL with Automatic Tools System Description: ATS: A Language That Combines Programming with Theorem ProvingAuthor Index


图书封面

广告

下载页面


Frontiers of Combining Systems 组合系统前沿/会议录 PDF格式下载



相关图书