Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings
type: Item
instance of: scholarly article
title: Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings
zbMATH Open document ID: 0990.00065
DOI: 10.1007/3-540-45988-X
published in: Lecture Notes in Computer Science
publication date: 2002-08-05T00:00:00Z
review text: 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-1…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1776419
zbMATH Keywords: Santa Margherita Ligure (Italy)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: FroCos
zbMATH Keywords: Combining systems
MaRDI profile type: Publication
Recommended article: Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings
Recommended article: Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16--18, 2009. Proceedings
Recommended article: Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS'98), Amsterdam, Netherlands, October 2--4, 1998
Recommended article: Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10--12, 2007. Proceedings
Recommended article: Frontiers of combining systems. 5th international workshop, FroCos 2005, Vienna, Austria, September 19--21, 2005. Proceedings.
Recommended article: Frontiers of combining systems. 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5--7, 2011. Proceedings
Recommended article: Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18--20, 2013. Proceedings
Recommended article: Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21--24, 2015. Proceedings
Recommended article: Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4--6, 2019. Proceedings
Recommended article: Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996
description: scientific article; zbMATH DE number 1776419