Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS'98), Amsterdam, Netherlands, October 2--4, 1998 (Q2762491)

The articles of this volume will be reviewed individually. The preceding workshop (1, 1996) has been reviewed (see Zbl 0885.00046).NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Apt, Krzysztof R.; Schaerf, Andrea}, Programming in Alma-0, or imperative and declarative programming reconciled, 1-16 [Zbl 1013.68064]NEWLINENEWLINE\textit{Ayala-Rincón, Mauricio}, Church-Rosser property for conditional rewriting systems with built-in predicates as premises, 17-37 [Zbl 1004.68079]NEWLINENEWLINE\textit{Basin, David; Friedrich, Stefan}, Combining WS1S and HOL, 39-56 [Zbl 0988.03024]NEWLINENEWLINE\textit{Basin, David; Viganò, Luca}, A recipe for the complexity analysis of non-classical logics, 57-75 [Zbl 0988.03048]NEWLINENEWLINE\textit{Benini, Marco; Nowotka, Dirk; Pulley, Carl}, Computer arithmetic: Logic, calculation, and rewriting, 77-93 [Zbl 1004.68143]NEWLINENEWLINE\textit{Cirstea, Horatiu; Kirchner, Claude}, Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN, 95-119 [Zbl 1004.68080]NEWLINENEWLINE\textit{Ghidini, Chiara; Serafini, Luciano}, Distributed first order logics, 121-139 [Zbl 1021.03007]NEWLINENEWLINE\textit{Giesl, Jürgen; Ohlebusch, Enno}, Pushing the frontiers of combining rewrite systems farther outwards, 141-160 [Zbl 1004.68081]NEWLINENEWLINE\textit{Howe, Douglas J.}, Toward sharing libraries of mathematics between theorem provers, 161-175 [Zbl 1012.68183]NEWLINENEWLINE\textit{Kepser, Stephan}, Negation in combining constraint systems, 177-192 [Zbl 1004.68155]NEWLINENEWLINE\textit{Kepser, Stephan; Richts, Jörn}, Optimisation techniques for combing constraint solvers, 193-210 [Zbl 1004.68156]NEWLINENEWLINE\textit{Monfroy, Eric}, Then constraint solver collaboration language of BALI, 211-230 [Zbl 1004.68157]NEWLINENEWLINE\textit{Naumann, Ralf}, A hybrid language for the analysis of aspectual and temporal phenomena in natural language, 231-253 [Zbl 0998.03027]NEWLINENEWLINE\textit{Petermann, Uwe}, Combining semantical and syntactical theory reasoning, 255-273 [Zbl 0988.03025]NEWLINENEWLINE\textit{Prestwich, Steven}, A generic approach to combining stochastic algorithms with systematic constraint solvers, 275-293 [Zbl 1004.68158]NEWLINENEWLINE\textit{Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos; Mossakowski, Till}, Categorial fibring of logics with terms and binding operators, 295-316 [Zbl 0992.03085]NEWLINENEWLINE\textit{Slind, Konrad; Boulton, Richard}, Iterative dialogues and automated proof., 317-335 [Zbl 1051.68558]NEWLINENEWLINE\textit{Tarlecki, Andrzej}, Towards heterogeneous specifications, 337-360 [Zbl 0988.03056]NEWLINENEWLINE\textit{Wang, Tie-Chung; Goldberg, Allen}, Integration of linear arithmetic and goal-oriented resolution for software reasoning, 361-378 [Zbl 1004.68144]NEWLINENEWLINE\textit{Wolter, Frank; Zakharyaschev, Michael}, Temporalizing description logics, 379-401 [Zbl 0994.03026]