skip to content
Termination Proofs for Logic Programs Preview this item
ClosePreview this item
Checking...

Termination Proofs for Logic Programs

Author: Lutz Plümer
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990.
Series: Lecture notes in computer science, 446.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

Termination proofs constitute a crucial part of program verification. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Lutz Plümer
ISBN: 9783540528371 3540528377
OCLC Number: 699831726
Description: 1 Online-Ressource.
Contents: Basic notions.- Static program properties and transformations.- Terminating logic programs.- The problem of local variables.- And/or dataflow graphs.- A termination proof procedure.- Integration of unfolding techniques.- Conclusions.
Series Title: Lecture notes in computer science, 446.
Responsibility: by Lutz Plümer.

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/699831726> # Termination Proofs for Logic Programs
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "699831726" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/23935143#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/12599251> ; # Lutz Plümer
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/23935143> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/23935143#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Termination Proofs for Logic Programs" ;
    schema:productID "699831726" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/699831726#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/23935143#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/3-540-52837-7> ;
    schema:url <https://doi.org/10.1007/3-540-52837-7> ;
    schema:workExample <http://worldcat.org/isbn/9783540528371> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/699831726> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/23935143#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/23935143#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/23935143#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/699831726> ; # Termination Proofs for Logic Programs
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence" ;
    .

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

<http://viaf.org/viaf/12599251> # Lutz Plümer
    a schema:Person ;
    schema:familyName "Plümer" ;
    schema:givenName "Lutz" ;
    schema:name "Lutz Plümer" ;
    .

<http://worldcat.org/isbn/9783540528371>
    a schema:ProductModel ;
    schema:isbn "3540528377" ;
    schema:isbn "9783540528371" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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