1. FroCos 1996: Munich, Germany

Invited Talk

• Dov M. Gabbay: An Overview of Fibred Semantics and the Combination of Logics. 1-55 BibTeX

Combination of Logics

• Alessandra Russo: Generalising Propositional Modal Logic Using Labelled Deductive Systems. 57-73 BibTeX
• David A. Basin, Seán Matthews, Luca Viganò: A Topography of Labelled Modal Logics. 75-92 BibTeX
• Luis Fariñas del Cerro, Andreas Herzig: Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. 93-102 BibTeX

Automated Deduction

• Cesare Tinelli, Mehdi T. Harandi: A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. 103-119 BibTeX
• Christophe Ringeissen: Cooperation of Decision Procedures for the Satisfiability Problem. 121-139 BibTeX
• John K. Slaney, Timothy Surendonk: Combining Finite Model Generation with Theorem Proving: Problems and Prospects. 141-155 BibTeX
• Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. 157-174 BibTeX
• Bernd I. Dahn, Andreas Wolf: Natural Language Presentation and Combination of Automatically Generated Proofs. 175-192 BibTeX

Invited Talk

• Bruno Buchberger: Symbolic Computation: Computer Algebra and Logic. 193-219 BibTeX

Coordination Models

• Jacques Calmet, Karsten Homann: Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. 221-234 BibTeX
• Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti: Logic Tuple Spaces for the Coordination of Heterogeneous Agents. 235-248 BibTeX
• Christopher Landauer, Kirstie L. Bellman: Integration Systems and Interaction Spaces. 249-266 BibTeX

CLP

• Evelina Lamma, Michela Milano, Paola Mello: Combining Solvers in a Meta Constraint Logic Programming Architecture. 267-283 BibTeX
• Frieder Stolzenburg: Membership-Constraints and Complexity in Logic Programming with Sets. 285-302 BibTeX
• Agostino Dovier, Alberto Policriti, Gianfranco Rossi: Integrating Lists, Multisets, and Sets in a Logic Programming Framework. 303-319 BibTeX
• Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Proving Program Properties. 321-338 BibTeX

• John N. Crossley, Luis Mandel, Martin Wirsing: First-Order Constrained Lambda Calculus. 339-356 BibTeX
• Naji Habra, Baudouin Le Charlier: Unified Relational Framework for Programming Paradigm Combination. 357-375 BibTeX
• Xiao Jun Chen: Model Checking ACTL Constrained Processes. 377-388 BibTeX