Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996 (Q1379286): Difference between revisions

The articles of this volume will be reviewed individually. Indexed articles: \textit{Gabbay, Dov M.}, An overview of fibred semantics and the combination of logics, 1-55 [Zbl 0896.03009] \textit{Russo, Alessandra}, Generalising propositional modal logic using labelled deductive systems, 57-73 [Zbl 0902.03009] \textit{Basin, David; Matthews, Seán; Viganò, Luca}, A topography of labelled modal logics, 75-92 [Zbl 0897.03012] \textit{Fariñas del Cerro, Luis; Herzig, Andreas}, Combining classical and intuitionistic logic. Or: Intuitionistic implication as a conditional, 93-102 [Zbl 0896.03010] \textit{Tinelli, Cesare; Harandi, Mehdi}, A new correctness proof of the Nelson-Oppen combination procedure, 103-119 [Zbl 0893.03001] \textit{Ringeissen, Christophe}, Cooperation of decision procedures for the satisfiability problem, 121-139 [Zbl 0945.03011] \textit{Slaney, John; Surendonk, Timothy}, Combining finite model generation with theorem proving. Problems and prospects, 141-155 [Zbl 0895.03004] \textit{Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn}, Reasoning theories. Towards an architecture for open mechanized reasoning systems, 157-174 [Zbl 0899.03022] \textit{Dahn, Bernd Ingo; Wolf, Andreas}, Natural language presentation and combination of automatically generated proofs, 175-192 [Zbl 0894.68136] \textit{Buchberger, Bruno}, Symbolic computation: Computer algebra and logic, 193-219 [Zbl 0894.68086] \textit{Calmet, Jacques; Homann, Karsten}, Classification of communication and cooperation mechanisms for logical and symbolic computation systems, 221-234 [Zbl 0894.68087] \textit{Denti, Enrico; Natali, Antonio; Omicini, Andrea; Venuti, Marco}, Logic tuple spaces for the coordination of heterogeneous agents, 235-248 [Zbl 0894.68145] \textit{Lamma, Evelina; Milano, Michela; Mello, Paola}, Combining solvers in a meta constraint logic programming architecture, 267-283 [Zbl 0894.68031] \textit{Stolzenburg, Frieder}, Membership-constraints and complexity in logic programming with sets, 285-302 [Zbl 0894.68032] \textit{Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco}, Integrating lists, multisets, and sets in a logic programming framework, 303-319 [Zbl 0894.68033] \textit{Mesnard, Fred; Horau, Sébastien; Maillard, Alexandra}, \(CLP(\chi)\) for proving program properties, 321-338 [Zbl 0894.68034] \textit{Crossley, John N.; Mandel, Luis; Wirsing, Martin}, First-order constrained lambda calculus, 339-356 [Zbl 0893.03002] \textit{Habra, Naji; Le Charlier, Baudouin}, Unified relational framework for programming paradigm combination, 357-375 [Zbl 0893.68096] \textit{Chen, Xiao Jun}, Model checking ACTL constrained processes, 377-388 [Zbl 0894.68059]