skip to content
Algebraic semantics Preview this item
ClosePreview this item
Checking...

Algebraic semantics

Author: Irène Guessarian
Publisher: Berlin ; New York : Springer-Verlag, 1981.
Series: Lecture notes in computer science, 99.
Edition/Format:   eBook : Document : 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

Genre/Form: Electronic books
Additional Physical Format: Print version:
Guessarian, Irène, 1948-
Algebraic semantics.
Berlin ; New York : Springer-Verlag, 1981
(DLC) 80028426
(OCoLC)7206380
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Irène Guessarian
ISBN: 9783540384175 3540384170
OCLC Number: 569139279
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 158 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: 1 - Introduction.- 2 - Magmas, algebras and trees.- 3 - Program schemes.- 4 - Semantics.- 5 - Classes of interpretations.- 6 - Program transformations.
Series Title: Lecture notes in computer science, 99.
Responsibility: Irène Guessarian.

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/569139279> # Algebraic semantics
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "569139279" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/457331#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/511.3/e19/> ;
   schema:about <http://id.worldcat.org/fast/932924> ; # Formal languages--Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/457331#Topic/langages_formels_semantique> ; # Langages formels--Sémantique
   schema:about <http://id.loc.gov/authorities/subjects/sh85050803> ; # Formal languages--Semantics
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/109539033> ; # Irène Guessarian
   schema:datePublished "1981" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/457331> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/457331#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/7206380> ;
   schema:name "Algebraic semantics"@en ;
   schema:productID "569139279" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/569139279#PublicationEvent/berlin_new_york_springer_verlag_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/457331#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/7206380.html> ;
   schema:url <http://link.springer.com/10.1007/3-540-10284-1> ;
   schema:url <http://dx.doi.org/10.1007/3-540-10284-1> ;
   schema:workExample <http://worldcat.org/isbn/9783540384175> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/569139279> ;
    .


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/457331#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/457331#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/569139279> ; # Algebraic semantics
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/457331#Topic/langages_formels_semantique> # Langages formels--Sémantique
    a schema:Intangible ;
   schema:name "Langages formels--Sémantique"@en ;
   schema:name "Langages formels--Sémantique"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85050803> # Formal languages--Semantics
    a schema:Intangible ;
   schema:name "Formal languages--Semantics"@en ;
    .

<http://id.worldcat.org/fast/932924> # Formal languages--Semantics
    a schema:Intangible ;
   schema:name "Formal languages--Semantics"@en ;
    .

<http://viaf.org/viaf/109539033> # Irène Guessarian
    a schema:Person ;
   schema:birthDate "1948" ;
   schema:familyName "Guessarian" ;
   schema:givenName "Irène" ;
   schema:name "Irène Guessarian" ;
    .

<http://worldcat.org/isbn/9783540384175>
    a schema:ProductModel ;
   schema:isbn "3540384170" ;
   schema:isbn "9783540384175" ;
    .

<http://www.worldcat.org/oclc/7206380>
    a schema:CreativeWork ;
   rdfs:label "Algebraic semantics." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/569139279> ; # Algebraic semantics
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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