skip to content
On proving limiting completeness. Preview this item
ClosePreview this item
Checking...

On proving limiting completeness.

Author: Peter D Mosses; G D Plotkin; University of Edinburgh. Department of Computer Science.
Publisher: University of Edinburgh Department of Computer Science, 1984.
Edition/Format:   Print book : EnglishView all editions and formats
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

Document Type: Book
All Authors / Contributors: Peter D Mosses; G D Plotkin; University of Edinburgh. Department of Computer Science.
OCLC Number: 59331375
Description: [1 volume]

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/59331375> # On proving limiting completeness.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "59331375" ;
   schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/81146152> ; # G. D. Plotkin
   schema:contributor <http://viaf.org/viaf/141343507> ; # University of Edinburgh. Department of Computer Science.
   schema:creator <http://experiment.worldcat.org/entity/work/data/17485410#Person/mosses_peter_d> ; # Peter D. Mosses
   schema:datePublished "1984" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/17485410> ;
   schema:inLanguage "en" ;
   schema:name "On proving limiting completeness."@en ;
   schema:productID "59331375" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/59331375#PublicationEvent/university_of_edinburgh_department_of_computer_science_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/17485410#Agent/university_of_edinburgh_department_of_computer_science> ; # University of Edinburgh Department of Computer Science
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/59331375> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/17485410#Agent/university_of_edinburgh_department_of_computer_science> # University of Edinburgh Department of Computer Science
    a bgn:Agent ;
   schema:name "University of Edinburgh Department of Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/17485410#Person/mosses_peter_d> # Peter D. Mosses
    a schema:Person ;
   schema:familyName "Mosses" ;
   schema:givenName "Peter D." ;
   schema:name "Peter D. Mosses" ;
    .

<http://id.worldcat.org/fast/1012163> # Mathematics
    a schema:Intangible ;
   schema:name "Mathematics"@en ;
    .

<http://viaf.org/viaf/141343507> # University of Edinburgh. Department of Computer Science.
    a schema:Organization ;
   schema:name "University of Edinburgh. Department of Computer Science." ;
    .

<http://viaf.org/viaf/81146152> # G. D. Plotkin
    a schema:Person ;
   schema:familyName "Plotkin" ;
   schema:givenName "G. D." ;
   schema:name "G. D. Plotkin" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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