Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / Alessandro Armando (ed.)
This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002. The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 s...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2002.
|
| Series: | Lecture notes in computer science ;
2309. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
MARC
| LEADER | 00000cam a22000004a 4500 | ||
|---|---|---|---|
| 001 | b8758486 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 020227s2002 gw a ob 101 0 eng c | ||
| 005 | 20240418142315.7 | ||
| 019 | |a 436620471 |a 648147757 |a 768062766 | ||
| 020 | |a 9783540459880 |q (electronic bk.) | ||
| 020 | |a 354045988X |q (electronic bk.) | ||
| 020 | |z 3540433813 | ||
| 020 | |z 9783540433811 | ||
| 035 | |a (OCoLC)spr50546326 | ||
| 035 | |a (OCoLC)50546326 |z (OCoLC)436620471 |z (OCoLC)648147757 |z (OCoLC)768062766 | ||
| 037 | |a spr10.1007/3-540-45988-X | ||
| 040 | |a COO |b eng |e pn |c COO |d HNK |d BAKER |d OCLCQ |d YNG |d OCLCQ |d DKDLA |d OCLCQ |d OCLCO |d OCLCQ |d GW5XE |d OCLCA |d OCLCF |d OCLCA |d OCLCQ |d OCLCO |d OCLCQ |d NUI |d OCL |d OCLCO |d OCLCQ |d YDX | ||
| 042 | |a pcc | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA9.A1 |b F73 2002 | |
| 111 | 2 | |a FroCoS (Symposium) |n (4th : |d 2002 : |c Santa Margherita Ligure, Italy) | |
| 245 | 1 | 0 | |a Frontiers of combining systems : |b 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings / |c Alessandro Armando (ed.) |
| 260 | |a Berlin ; |a New York : |b Springer, |c 2002. | ||
| 300 | |a 1 online resource (viii, 254 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 2309. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Foundations of a Constraint-Based Illustrator -- Integrating HOL-CASL into the Development Graph Manager MAYA -- Monads and Modularity -- A Modular Approach to Proving Confluence -- Integrating BDD-Based and SAT-Based Symbolic Model Checking -- Heuristics for Efficient Manipulation of Composite Constraints -- Constraint-Based Model Checking for Parameterized Synchronous Systems -- A Rewrite Rule Based Framework for Combining Decision Procedures * -- Combining Sets with Integers -- Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods -- A Generalization of Shostak#x2019;s Method for Combining Decision Procedures -- Combining Relational Algebra, SQL, and Constraint Programming -- Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning -- Exploiting Constraints for Domain Managing in CLP(FD) -- Tutorial: Reasoning with, about and for Constraint Handling Rules -- PROSPER An Investigation into Software Architecture for Embedded Proof Engines -- Constraint-Lambda Calculi -- Labelled Deduction over Algebras of Truth-Values* -- A Temporal × Modal Approach to the Definability of Properties of Functions. | |
| 520 | |a This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002. The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes into constraint programming and deduction systems. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Computer science |v Congresses. | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451. | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 700 | 1 | |a Armando, Alessandro. | |
| 776 | 0 | 8 | |i Print version:FroCoS 2002 (2002 : Santa Margherita Ligure, Italy) |t Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings |w (OCoLC)49283892. |
| 830 | 0 | |a Lecture notes in computer science ; |v 2309. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/3-540-45988-X |z Full Text (via Springer) |
| 907 | |a .b87584864 |b 05-04-22 |c 08-16-16 | ||
| 998 | |a web |b 05-01-17 |c f |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b87584864 |b 05-09-17 |c 08-16-16 | ||
| 915 | |a 4 | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 999 | f | f | |i 5335b7e5-c2cc-50df-b54c-1f753ccba733 |s ec95609a-fa1a-50f5-94f5-19bb618850fb |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA9.A1 F73 2002 |h Library of Congress classification |i Ebooks, Prospector |n 1 |