skip to content
Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Author: Leonardo De Moura
Publisher: Cham : Springer International Publishing, 2017.
Series: Lecture notes in computer science, 10395.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Konferenzschrift
Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Leonardo De Moura
ISBN: 9783319630465 3319630466
OCLC Number: 1002280293
Description: 1 Online-Ressource (XI, 582 Seiten 87 Illustrationen)
Series Title: Lecture notes in computer science, 10395.
Responsibility: edited by Leonardo de Moura.

Abstract:

The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

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/1002280293> # Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1002280293" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/mathematical_logic> ; # Mathematical logic
    schema:about <http://dewey.info/class/006.3/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/algorithms> ; # Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
    schema:about <http://experiment.worldcat.org/entity/work/data/4425839109#Topic/logic_design> ; # Logic design
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4425839109#Person/de_moura_leonardo> ; # Leonardo De Moura
    schema:datePublished "2017" ;
    schema:description "The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4425839109> ;
    schema:genre "Konferenzschrift" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4425839109#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4425839109#CreativeWork/> ;
    schema:name "Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings" ;
    schema:productID "1002280293" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1002280293#PublicationEvent/2017> ;
    schema:url <http://swbplus.bsz-bw.de/bsz491753977cov.htm> ;
    schema:url <http://www.springerlink.com/content/978-3-319-63046-5> ;
    schema:url <http://nbn-resolving.de/urn:nbn:de:1111-20170711416> ;
    schema:url <http://digitale-objekte.hbz-nrw.de/storage2/2018/07/10/file_13/8108813.pdf> ;
    schema:url <http://d-nb.info/1136609814/34> ;
    schema:url <https://doi.org/10.1007/978-3-319-63046-5> ;
    schema:workExample <http://worldcat.org/isbn/9783319630465> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-63046-5> ;
    umbel:isLike <http://d-nb.info/1136609814> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1002280293> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4425839109#Person/de_moura_leonardo> # Leonardo De Moura
    a schema:Person ;
    schema:familyName "De Moura" ;
    schema:givenName "Leonardo" ;
    schema:name "Leonardo De Moura" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1002280293> ; # Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
    schema:name "Automatisches Beweisverfahren" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/computer_software> # Computer software
    a schema:Intangible ;
    schema:name "Computer software" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/mathematical_logic> # Mathematical logic
    a schema:Intangible ;
    schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/4425839109#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    schema:name "Software Engineering" ;
    .

<http://worldcat.org/entity/work/data/4425839109#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1002280293> ; # Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319630465>
    a schema:ProductModel ;
    schema:isbn "3319630466" ;
    schema:isbn "9783319630465" ;
    .

<http://www.worldcat.org/title/-/oclc/1002280293>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1002280293> ; # Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
    schema:dateModified "2019-07-01" ;
    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.