skip to content
Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings Preview this item
ClosePreview this item
Checking...

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings

Author: H Kirchner; Christophe Ringeissen
Publisher: Berlin ; New York : Springer, 2000.
Series: Lecture notes in computer science, 1794.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000. The 14 revised full papers presented together with four invited papers were carefully reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning,  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
FroCoS 2000 (2000 : Nancy, France).
Frontiers of combining systems.
Berlin ; New York : Springer, 2000
(OCoLC)43641434
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: H Kirchner; Christophe Ringeissen
ISBN: 9783540464211 3540464212
OCLC Number: 321319824
Description: 1 online resource (x, 289 pages) : illustrations.
Contents: Combining logic and optimization in cutting plane theory / Alexander Bockmayr and Friedrich Eisenbrand --
Towards cooperative interval narrowing / Laurent Granvilliers --
Integrating constraint solving into proof planning / Erica Melis, Jürgen Zimmer, and Tobias Müller --
Termination of constraint contextual rewriting / Alessandro Armando and Silvio Ranise --
Axioms vs. rewrite rules : from completeness to cut elimination / Gilles Dowek --
Normal forms and proofs in combined modal and temporal logics / U. Hustadt [and others] --
Structured sequent calculi for combining intuitionistic and classical first-order logic / Paqui Lucio --
Handling differential equations with constraints for decision support / Jorge Cruz and Pedro Barahona --
Non-trivial symbolic computations in proof planning / Volker Sorge --
Integrating computer algebra and reasoning through the type system of Aldor / Erik Poll and Simon Thompson --
Combinations of model checking and theorem proving / Tomás E. Uribe --
Compiling multi-paradigm declarative programs into Prolog / Sergio Antoy and Michael Hanus --
Modular redundancy for theorem proving / Miquel Bofill [and others] --
Composing and controlling search in reasoning theories using mappings / Alessandro Coglio [and others] --
Why combined decision problems are often intractable / Klaus U. Schulz --
Congruence closure modulo associativity and commutativity / L. Bachmair [and others] --
Combining equational theories sharing non-collapse-free constructors / Franz Baader and Cesare Tinelli --
Comparing expressiveness of set constructor symbols / Agostino Dovier, Carla Piazza, and Alberto Policriti.
Series Title: Lecture notes in computer science, 1794.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Hélène Kirchner, Christophe Ringeissen, eds.

Abstract:

This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000.The 14 revised full papers  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/321319824> # Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "321319824" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4919360650#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4919360650#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4919360650#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/279773430> ; # Christophe Ringeissen
    schema:contributor <http://viaf.org/viaf/27156885> ; # Hélène Kirchner
    schema:creator <http://experiment.worldcat.org/entity/work/data/4919360650#Meeting/frocos_symposium_3rd_2000_nancy_france> ; # FroCoS (Symposium) (3rd : 2000 : Nancy, France)
    schema:datePublished "2000" ;
    schema:description "This book constitutes the refereed proceedings of the Third International Workshop on Frontiers of Combining Systems, FroCoS 2000, held in Nancy, France, in March 2000. The 14 revised full papers presented together with four invited papers were carefully reviewed and selected from a total of 31 submissions. Among the topics covered are constraint processing, interval narrowing, rewriting systems, proof planning, sequent calculus, type systems, model checking, theorem proving, declarative programming, logic programming, and equational theories."@en ;
    schema:description "Combining logic and optimization in cutting plane theory / Alexander Bockmayr and Friedrich Eisenbrand -- Towards cooperative interval narrowing / Laurent Granvilliers -- Integrating constraint solving into proof planning / Erica Melis, Jürgen Zimmer, and Tobias Müller -- Termination of constraint contextual rewriting / Alessandro Armando and Silvio Ranise -- Axioms vs. rewrite rules : from completeness to cut elimination / Gilles Dowek -- Normal forms and proofs in combined modal and temporal logics / U. Hustadt [and others] -- Structured sequent calculi for combining intuitionistic and classical first-order logic / Paqui Lucio -- Handling differential equations with constraints for decision support / Jorge Cruz and Pedro Barahona -- Non-trivial symbolic computations in proof planning / Volker Sorge -- Integrating computer algebra and reasoning through the type system of Aldor / Erik Poll and Simon Thompson -- Combinations of model checking and theorem proving / Tomás E. Uribe -- Compiling multi-paradigm declarative programs into Prolog / Sergio Antoy and Michael Hanus -- Modular redundancy for theorem proving / Miquel Bofill [and others] -- Composing and controlling search in reasoning theories using mappings / Alessandro Coglio [and others] -- Why combined decision problems are often intractable / Klaus U. Schulz -- Congruence closure modulo associativity and commutativity / L. Bachmair [and others] -- Combining equational theories sharing non-collapse-free constructors / Franz Baader and Cesare Tinelli -- Comparing expressiveness of set constructor symbols / Agostino Dovier, Carla Piazza, and Alberto Policriti."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4919360650> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4919360650#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4919360650#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isSimilarTo <http://www.worldcat.org/oclc/43641434> ;
    schema:name "Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings"@en ;
    schema:productID "321319824" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/321319824#PublicationEvent/berlin_new_york_springer_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4919360650#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3087948> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-67281-4> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-67281-4> ;
    schema:url <http://dx.doi.org/10.1007/10720084> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/10720084> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/10720084> ;
    schema:url <http://link.springer.com/10.1007/10720084> ;
    schema:workExample <http://worldcat.org/isbn/9783540464211> ;
    schema:workExample <http://dx.doi.org/10.1007/10720084> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/321319824> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919360650#Meeting/frocos_symposium_3rd_2000_nancy_france> # FroCoS (Symposium) (3rd : 2000 : Nancy, France)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4919360650#Place/nancy_france> ; # Nancy, France)
    schema:name "FroCoS (Symposium) (3rd : 2000 : Nancy, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919360650#Place/nancy_france> # Nancy, France)
    a schema:Place ;
    schema:name "Nancy, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919360650#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/321319824> ; # Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919360650#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/321319824> ; # Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/27156885> # Hélène Kirchner
    a schema:Person ;
    schema:familyName "Kirchner" ;
    schema:givenName "Hélène" ;
    schema:givenName "H." ;
    schema:name "Hélène Kirchner" ;
    .

<http://viaf.org/viaf/279773430> # Christophe Ringeissen
    a schema:Person ;
    schema:birthDate "1967" ;
    schema:familyName "Ringeissen" ;
    schema:givenName "Christophe" ;
    schema:name "Christophe Ringeissen" ;
    .

<http://worldcat.org/isbn/9783540464211>
    a schema:ProductModel ;
    schema:isbn "3540464212" ;
    schema:isbn "9783540464211" ;
    .

<http://www.worldcat.org/oclc/43641434>
    a schema:CreativeWork ;
    rdfs:label "Frontiers of combining systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/321319824> ; # Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/321319824>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/321319824> ; # Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
    schema:dateModified "2018-05-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.