The Resource Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings, Alessandro Armando (ed.)

Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings, Alessandro Armando (ed.)

Label
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Title
Frontiers of combining systems
Title remainder
4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Statement of responsibility
Alessandro Armando (ed.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA9.A1
LC item number
F73 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
FroCoS (Symposium)
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Armando, Alessandro
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
2309.
http://library.link/vocab/subjectName
  • Logic, Symbolic and mathematical
  • Computer science
  • Combinatieleer
  • diagramme décision
  • vérification modèle
  • logique mathématique
  • programmation déclarative
  • contrainte
  • démonstration théorème
  • théorie démonstration
  • déduction automatique
  • Logique symbolique et mathématique
  • Informatique
  • Computer science
  • Logic, Symbolic and mathematical
  • Combinatieleer
  • Logique symbolique et mathématique
  • Deduktionssystem
  • Computeralgebra
  • Entscheidungsproblem
  • Mathematische Logik
  • Lineare Optimierung
  • Automatisches Beweisverfahren
  • Constraint <Künstliche Intelligenz>
  • Santa Margherita Ligure <2002>
Label
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings, Alessandro Armando (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Foundations of a constraint-based illustrator / Greg Nelson -- Integrating HOL-CASL into the development graph manager MAYA / Serge Autexier and Till Mossakowski --Monads and modularity / Christoph Lüth and Neil Ghani --A modular approach to proving confluence / Michael Marte --Integrating BDD-based and SAT-based symbolic model checking / Alessandro Cimatti [and others] --Heuristics for efficient manipulation of composite constraints / Tuba Yavuz-Kahveci and Tevfik Bultan --Constraint-based model checking for parameterized synchronous systems / Giorgio Delzanno --A rewrite rule based framework for combining decision procedures / Deepak Kapur --Combining sets with integers / Calogero G. Zarba --Solving nonlinear equations by abstraction, Gaussian elimination, and interval methods / Martine Ceberio and Laurent Granvilliers --A generalization of Shostak's method for combining decision procedures / Clark W. Barrett, David L. Dill, and Aaron Stump --Combining relational algebra, SQL, and constraint programming / Marco Cadoli and Toni Mancini --Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning / Philippe Balbiani and Jean-Francois Condotta --Exploiting constraints for domain managing in CLP(FD) / Marco Gavanelli [and others] --Tutorial: reasoning with, about and for constraint handling rules / Thom Fruehwirth and Slim Abdennadher --PROSPER: an investigation into software architecture for embedded proof engines / T.F. Melham --Constraint-lambda calculi / Matthias Hölzl and John N. Crossley --Labelled deduction over algebras of truth-values / Joao Rasga [and others] --A temporal x modal approach to the definability of properties of functions / Alfredo Burrieza and Inma P. de Guzmán
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 254 pages
Isbn
9783540433811
Lccn
2002017902
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)49283892
  • (OCoLC)ocm49283892
Label
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings, Alessandro Armando (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Foundations of a constraint-based illustrator / Greg Nelson -- Integrating HOL-CASL into the development graph manager MAYA / Serge Autexier and Till Mossakowski --Monads and modularity / Christoph Lüth and Neil Ghani --A modular approach to proving confluence / Michael Marte --Integrating BDD-based and SAT-based symbolic model checking / Alessandro Cimatti [and others] --Heuristics for efficient manipulation of composite constraints / Tuba Yavuz-Kahveci and Tevfik Bultan --Constraint-based model checking for parameterized synchronous systems / Giorgio Delzanno --A rewrite rule based framework for combining decision procedures / Deepak Kapur --Combining sets with integers / Calogero G. Zarba --Solving nonlinear equations by abstraction, Gaussian elimination, and interval methods / Martine Ceberio and Laurent Granvilliers --A generalization of Shostak's method for combining decision procedures / Clark W. Barrett, David L. Dill, and Aaron Stump --Combining relational algebra, SQL, and constraint programming / Marco Cadoli and Toni Mancini --Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning / Philippe Balbiani and Jean-Francois Condotta --Exploiting constraints for domain managing in CLP(FD) / Marco Gavanelli [and others] --Tutorial: reasoning with, about and for constraint handling rules / Thom Fruehwirth and Slim Abdennadher --PROSPER: an investigation into software architecture for embedded proof engines / T.F. Melham --Constraint-lambda calculi / Matthias Hölzl and John N. Crossley --Labelled deduction over algebras of truth-values / Joao Rasga [and others] --A temporal x modal approach to the definability of properties of functions / Alfredo Burrieza and Inma P. de Guzmán
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 254 pages
Isbn
9783540433811
Lccn
2002017902
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Specific material designation
remote
System control number
  • (OCoLC)49283892
  • (OCoLC)ocm49283892

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...