Dov M. Gabbay An Overview of Fibred Semantics and the Combination of Logics. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:1-55 [Conf]

Alessandra Russo Generalising Propositional Modal Logic Using Labelled Deductive Systems. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:57-73 [Conf]

Christophe Ringeissen Cooperation of Decision Procedures for the Satisfiability Problem. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:121-139 [Conf]

Bernd I. Dahn, Andreas Wolf Natural Language Presentation and Combination of Automatically Generated Proofs. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:175-192 [Conf]

Bruno Buchberger Symbolic Computation: Computer Algebra and Logic. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:193-219 [Conf]

Jacques Calmet, Karsten Homann Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:221-234 [Conf]

Frieder Stolzenburg Membership-Constraints and Complexity in Logic Programming with Sets. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:285-302 [Conf]

Xiao Jun Chen Model Checking ACTL Constrained Processes. [Citation Graph (0, 0)][DBLP] Frontiers of Combining Systems (FroCos), 1996, pp:377-388 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP