Abstract is missing.
- Programming in Alma-0, or Imperative and Declarative Programming ReconciledKrzysztof R. Apt, Andrea Schaerf. 1-18
- Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as PremisesMauricio Ayala-Rincón. 17-38
- Combining WS1S and HOLDavid A. Basin, Stefan Friedrich 0001. 39-56
- A Recipe for the Complexity Analysis of Non-Classical LogicsDavid A. Basin, Luca Viganó 0001. 57-76
- Computer Arithmetic: Logic, Calculus and RewritingMarco Benini, Dirk Nowotka, Carl Pulley. 77-94
- Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELANHoratiu Cirstea, Claude Kirchner. 95-120
- Distributed First Order LogicChiara Ghidini, Luciano Serafini. 121-140
- Pushing the Frontiers of Combining Rewrite Systems Farther OutwardsJürgen Giesl, Enno Ohlebusch. 141-160
- Toward Sharing Libraries of Mathematics between Theorem ProversDouglas J. Howe. 161-176
- Negation in Combining Constraint SystemsStephan Kepser. 177-192
- Optimisation Techniques for Combining Constraint SolversStephan Kepser, Jörn Richts. 193-210
- The Constraint Solver Collaboration Language of BALIÉric Monfroy. 211-230
- A Hybrid Language for the Analysis of Aspectual and Temporal Phenomena in Natural LanguageRalf Naumann. 231-254
- Combining Semantical and Syntactical Theory ReasoningUwe Petermann. 255-274
- A Generic Approach to Combining Stochastic Algorithms with Systematic Constraint SolversSteven Prestwich. 275-294
- Categorial Fibring of Logics with Terms and Binding OperatorsAmílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski. 295-316
- Iterative Dialogue and Automated ProofsKonrad Slind, Richard J. Boulton. 317-336
- Towards Heterogeneous SpecificationsAndrzej Tarlecki. 337-360
- Integration of Linear Arithmetic and Goal-Oriented Resolution for Software ReasoningTie-Cheng Wang, Allen Goldberg. 361-378
- Temporalizing Description LogicsFrank Wolter, Michael Zakharyaschev. 379-402