![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
1. FroCoS 1996: Munich, Germany
- Franz Baader, Klaus U. Schulz:
Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings. Applied Logic Series 3, Kluwer Academic Publishers 1996, ISBN 0-7923-4271-2
Invited Talk
- Dov M. Gabbay:
An Overview of Fibred Semantics and the Combination of Logics. FroCoS 1996: 1-55
Combination of Logics
- Alessandra Russo:
Generalising Propositional Modal Logic Using Labelled Deductive Systems. FroCoS 1996: 57-73 - David A. Basin, Seán Matthews, Luca Viganò:
A Topography of Labelled Modal Logics. FroCoS 1996: 75-92 - Luis Fariñas del Cerro, Andreas Herzig:
Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. FroCoS 1996: 93-102
Automated Deduction
- Cesare Tinelli, Mehdi T. Harandi:
A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. FroCoS 1996: 103-119 - Christophe Ringeissen:
Cooperation of Decision Procedures for the Satisfiability Problem. FroCoS 1996: 121-139 - John K. Slaney, Timothy J. Surendonk:
Combining Finite Model Generation with Theorem Proving: Problems and Prospects. FroCoS 1996: 141-155 - Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott:
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. FroCoS 1996: 157-174 - Bernd I. Dahn, Andreas Wolf:
Natural Language Presentation and Combination of Automatically Generated Proofs. FroCoS 1996: 175-192
Invited Talk
- Bruno Buchberger:
Symbolic Computation: Computer Algebra and Logic. FroCoS 1996: 193-219
Coordination Models
- Jacques Calmet, Karsten Homann:
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. FroCoS 1996: 221-234 - Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti:
Logic Tuple Spaces for the Coordination of Heterogeneous Agents. FroCoS 1996: 235-248 - Christopher Landauer, Kirstie L. Bellman:
Integration Systems and Interaction Spaces. FroCoS 1996: 249-266
CLP
- Evelina Lamma, Michela Milano, Paola Mello:
Combining Solvers in a Meta Constraint Logic Programming Architecture. FroCoS 1996: 267-283 - Frieder Stolzenburg:
Membership-Constraints and Complexity in Logic Programming with Sets. FroCoS 1996: 285-302 - Agostino Dovier, Alberto Policriti, Gianfranco Rossi:
Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS 1996: 303-319 - Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard:
CLP(chi) for Proving Program Properties. FroCoS 1996: 321-338 - John N. Crossley, Luis Mandel, Martin Wirsing:
First-Order Constrained Lambda Calculus. FroCoS 1996: 339-356 - Naji Habra, Baudouin Le Charlier:
Unified Relational Framework for Programming Paradigm Combination. FroCoS 1996: 357-375 - Xiao Jun Chen:
Model Checking ACTL Constrained Processes. FroCoS 1996: 377-388
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.