skip to content
Semantical paradigms : notes for an invited lecture Preview this item
ClosePreview this item
Checking...

Semantical paradigms : notes for an invited lecture

Author: Albert R Meyer; Stavros S Cosmadakis
Publisher: Cambridge, Mass. : Laboratory for Computer Science, Massachusetts Institute of Technology, 1988.
Series: MIT/LCS/TM, 353.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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: Albert R Meyer; Stavros S Cosmadakis
OCLC Number: 18494402
Notes: "July 1988."
"This ... is a slightly revised version of a paper in the Proceedings 3rd IEEE Symposium on Logic in Computer Science, Edinburgh, Scotland, July 1988."
Description: 20 pages ; 28 cm.
Series Title: MIT/LCS/TM, 353.
Responsibility: Albert R. Meyer ; with two appendices by Stavros S. Cosmadakis.

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/18494402> # Semantical paradigms : notes for an invited lecture
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "18494402" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/475794219#Place/cambridge_mass> ; # Cambridge, Mass.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85029525> ; # Computer programs--Correctness
    schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://id.worldcat.org/fast/872413> ; # Computer programs--Correctness
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/475794219#Person/cosmadakis_stavros_s> ; # Stavros S. Cosmadakis
    schema:creator <http://viaf.org/viaf/40005927> ; # Albert R. Meyer
    schema:datePublished "1988" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/475794219> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/475794219#Series/mit_lcs_tm> ; # MIT/LCS/TM ;
    schema:name "Semantical paradigms : notes for an invited lecture"@en ;
    schema:productID "18494402" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/18494402#PublicationEvent/cambridge_mass_laboratory_for_computer_science_massachusetts_institute_of_technology_1988> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/475794219#Agent/laboratory_for_computer_science_massachusetts_institute_of_technology> ; # Laboratory for Computer Science, Massachusetts Institute of Technology
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/18494402> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/475794219#Agent/laboratory_for_computer_science_massachusetts_institute_of_technology> # Laboratory for Computer Science, Massachusetts Institute of Technology
    a bgn:Agent ;
    schema:name "Laboratory for Computer Science, Massachusetts Institute of Technology" ;
    .

<http://experiment.worldcat.org/entity/work/data/475794219#Person/cosmadakis_stavros_s> # Stavros S. Cosmadakis
    a schema:Person ;
    schema:familyName "Cosmadakis" ;
    schema:givenName "Stavros S." ;
    schema:name "Stavros S. Cosmadakis" ;
    .

<http://experiment.worldcat.org/entity/work/data/475794219#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/475794219#Series/mit_lcs_tm> # MIT/LCS/TM ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/18494402> ; # Semantical paradigms : notes for an invited lecture
    schema:name "MIT/LCS/TM ;" ;
    schema:name "MIT/LCS/TM- ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029525> # Computer programs--Correctness
    a schema:Intangible ;
    schema:name "Computer programs--Correctness"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://id.worldcat.org/fast/872413> # Computer programs--Correctness
    a schema:Intangible ;
    schema:name "Computer programs--Correctness"@en ;
    .

<http://viaf.org/viaf/40005927> # Albert R. Meyer
    a schema:Person ;
    schema:familyName "Meyer" ;
    schema:givenName "Albert R." ;
    schema:name "Albert R. Meyer" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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