Research Catalog
Frontiers of combining systems 2
- Title
- Frontiers of combining systems 2 / edited by Dov M. Gabbay, Maarten de Rijke.
- Publication
- Philadelphia, PA : Research Studies Press, 1999.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA9.A1 F77 1999 | Off-site |
Holdings
Details
- Additional Authors
- Description
- xiii, 407 pages : illustrations; 24 cm.
- Summary
- "Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. This volume addresses both particular instances of the combination and integration problem and the general issue. While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--BOOK JACKET.
- Series Statement
- Studies in logic and computation ; 7
- Uniform Title
- Studies in logic and computation ; 7.
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Contents
- Programming in Alma-0, or Imperative and Declarative Programming Reconciled / Krzysztof R. Apt and Andrea Schaerf -- Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises / Mauricio Ayala-Rincon -- Combining WS1S and HOL / David Basin and Stefan Friedrich -- A Recipe for the Complexity Analysis of Non-Classical Logics / David Basin and Luca Vigano -- Computer Arithmetic: Logic, Calculation and Rewriting / Marco Benini, Dirk Nowotka and Carl Pulley -- Combining Higher-Order and First-Order Computation Using p-Calculus: Towards a Semantics of ELAN / Horatiu Cirstea and Claude Kirchner -- Distributed First Order Logic / Chiara Ghidini and Luciano Serafini -- Pushing the Frontiers of Combining Rewrite Systems Farther Outwards / Jurgen Giesl and Enno Ohlebusch -- Toward Sharing Libraries of Mathematics between Theorem Provers / Douglas J. Howe -- Negation in Combining Constraint Systems / Stephan Kepser --
- Optimisation Techniques for Combining Constraint Solvers / Stephan Kepser and Jorn Richts -- The Constraint Solver Collaboration Language of BALI / Eric Monfroy -- A Hybrid Language for the Analysis of Aspectual and Temporal Phenomena in Natural Language / Ralf Naumann -- Combining Semantical and Syntactical Theory Reasoning / Uwe Petermann -- A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers / Steven Prestwich -- Categorial Fibring of Logics with Terms and Binding Operators / Amilcar Sernadas, Cristina Sernadas and Carlos Caleiro / [et al.] -- Iterative Dialogue and Automated Proofs / Konrad Slind and Richard Boulton -- Towards Heterogeneous Specifications / Andrzej Tarlecki -- Integration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning / Tie-Chung Wang and Allen Goldberg -- Temporalizing Description Logics / Frank Wolter and Michael Zakharyaschev.
- ISBN
- 0863802524 (alk. paper)
- LCCN
- 99051824
- OCLC
- ocm42649707
- SCSB-3861603
- Owning Institutions
- Columbia University Libraries