The SCEAS System
Navigation Menu

Conferences in DBLP

Frontiers of Combining Systems (FroCoS) (frocos)
1996 (conf/frocos/1996)

  1. 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]
  2. 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]
  3. David A. Basin, Seán Matthews, Luca Viganò
    A Topography of Labelled Modal Logics. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:75-92 [Conf]
  4. Luis Fariñas del Cerro, Andreas Herzig
    Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:93-102 [Conf]
  5. Cesare Tinelli, Mehdi T. Harandi
    A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:103-119 [Conf]
  6. 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]
  7. John K. Slaney, Timothy Surendonk
    Combining Finite Model Generation with Theorem Proving: Problems and Prospects. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:141-155 [Conf]
  8. Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott
    Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:157-174 [Conf]
  9. 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]
  10. Bruno Buchberger
    Symbolic Computation: Computer Algebra and Logic. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:193-219 [Conf]
  11. 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]
  12. Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
    Logic Tuple Spaces for the Coordination of Heterogeneous Agents. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:235-248 [Conf]
  13. Christopher Landauer, Kirstie L. Bellman
    Integration Systems and Interaction Spaces. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:249-266 [Conf]
  14. Evelina Lamma, Michela Milano, Paola Mello
    Combining Solvers in a Meta Constraint Logic Programming Architecture. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:267-283 [Conf]
  15. 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]
  16. Agostino Dovier, Alberto Policriti, Gianfranco Rossi
    Integrating Lists, Multisets, and Sets in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:303-319 [Conf]
  17. Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard
    CLP(chi) for Proving Program Properties. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:321-338 [Conf]
  18. John N. Crossley, Luis Mandel, Martin Wirsing
    First-Order Constrained Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:339-356 [Conf]
  19. Naji Habra, Baudouin Le Charlier
    Unified Relational Framework for Programming Paradigm Combination. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:357-375 [Conf]
  20. 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002