Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings (Q1608370)

The articles of this volume will be reviewed individually. The preceding workshop (3rd, 2000) has been reviewed (see Zbl 0935.00044). Indexed articles: \textit{Nelson, Greg}, Foundations of a constraint-based illustrator, 1 [Zbl 1057.68680] \textit{Autexier, Serge; Mossakowski, Till}, Integrating HOL-CASL into the development graph manager MAYA, 2-17 [Zbl 1057.68678] \textit{Lüth, Christoph; Ghani, Neil}, Monads and modularity, 18-32 [Zbl 1057.68063] \textit{Marte, Michael}, A modular approach to proving confluence, 33-48 [Zbl 1057.68112] \textit{Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando}, Integrating BDD-based and SAT-based symbolic model checking, 49-56 [Zbl 1057.68623] \textit{Yavuz-Kahveci, Tuba; Bultan, Tevfik}, Heuristics for efficient manipulation of composite constraints, 57-71 [Zbl 1057.68638] \textit{Delzanno, Giorgio}, Constraint-based model checking for parameterized synchronous systems, 72-86 [Zbl 1057.68624] \textit{Kapur, Deepak}, A rewrite rule based framework for combining decision procedures (preliminary draft), 87-102 [Zbl 1057.68679] \textit{Zarba, Calogero G.}, Combining sets with integers, 103-116 [Zbl 1057.68682] \textit{Ceberio, Martine; Granvilliers, Laurent}, Solving nonlinear equations by abstraction, Gaussian elimination, and interval methods, 117-131 [Zbl 1057.68110] \textit{Barrett, Clark W.; Dill, David L.; Stump, Aaron}, A generalization of Shostak's method for combining decision procedures, 132-146 [Zbl 1057.68109] \textit{Cadoli, Marco; Mancini, Toni}, Combining relational algebra, SQL, and constraint programming, 147-161 [Zbl 1057.68604] \textit{Balbiani, Philippe; Condotta, Jean-François}, Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning, 162-176 [Zbl 1057.68116] \textit{Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Milano, Michela}, Exploiting constraints for domain managing in CLP(FD), 177-191 [Zbl 1057.68685] \textit{Fruehwirth, Thom; Abdennadher, Slim}, Tutorial: reasoning with, about and for constraint handling rules, 192 [Zbl 1057.68573] \textit{Melham, T. F.}, PROSPER. An investigation into software architecture for embedded proof engines, 193-206 [Zbl 1057.68593] \textit{Hölzl, Matthias; Crossley, John N.}, Constraint-lambda calculi, 207-221 [Zbl 1057.68014] \textit{Rasga, João; Sernadas, Amílcar; Sernadas, Cristina; Viganò, Luca}, Labelled deduction over algebras of truth-values, 222-238 [Zbl 1057.03009] \textit{Burrieza, Alfredo; de Guzmán, Inma P.}, A temporal \(\times\) modal approach to the definability of properties of functions, 239-254 [Zbl 1057.03013]