zum Inhalt wechseln
Data types as lattices Titelvorschau
SchließenTitelvorschau
Prüfung…

Data types as lattices

Verfasser/in: Dana S Scott
Verlag: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1976.
Serien: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Ausgabe/Format   Print book : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Dokumenttyp: Buch
Alle Autoren: Dana S Scott
OCLC-Nummer: 5265360
Anmerkungen: Cover title.
Reprinted from the SIAM journal on computing, v. 5.
Beschreibung: pages 522-587 ; 25 cm.
Serientitel: Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Verfasserangabe: by Dana Scott.

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


Primary Entity

<http://www.worldcat.org/oclc/5265360> # Data types as lattices
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "5265360" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/16359827#Place/oxford> ; # Oxford
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://id.worldcat.org/fast/993426> ; # Lattice theory
    schema:about <http://dewey.info/class/001.6424/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://id.worldcat.org/fast/936126> ; # Functions, Continuous
    schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/semantik> ; # Semantik
    schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/mathematik> ; # Mathematik
    schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/16359827#Topic/kontinuierliches_gitter> ; # Kontinuierliches Gitter
    schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/16359827#Person/scott_dana_s> ; # Dana S. Scott
    schema:datePublished "1976" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/16359827> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/16359827#Series/technical_monograph_oxford_university_computing_laboratory_programming_research_group> ; # Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
    schema:name "Data types as lattices"@en ;
    schema:productID "5265360" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/5265360#PublicationEvent/oxford_oxford_university_computing_laboratory_programming_research_group_1976> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/16359827#Agent/oxford_university_computing_laboratory_programming_research_group> ; # Oxford University Computing Laboratory, Programming Research Group
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/5265360> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/16359827#Agent/oxford_university_computing_laboratory_programming_research_group> # Oxford University Computing Laboratory, Programming Research Group
    a bgn:Agent ;
    schema:name "Oxford University Computing Laboratory, Programming Research Group" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Person/scott_dana_s> # Dana S. Scott
    a schema:Person ;
    schema:familyName "Scott" ;
    schema:givenName "Dana S." ;
    schema:name "Dana S. Scott" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Series/technical_monograph_oxford_university_computing_laboratory_programming_research_group> # Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/5265360> ; # Data types as lattices
    schema:name "Technical monograph (Oxford University Computing Laboratory. Programming Research Group) ;" ;
    schema:name "Technical monograph - Oxford University Computing Laboratory Programming Research Group ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Topic/kontinuierliches_gitter> # Kontinuierliches Gitter
    a schema:Intangible ;
    schema:name "Kontinuierliches Gitter"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/16359827#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache"@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/1091984> # Recursive functions
    a schema:Intangible ;
    schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/936126> # Functions, Continuous
    a schema:Intangible ;
    schema:name "Functions, Continuous"@en ;
    .

<http://id.worldcat.org/fast/993426> # Lattice theory
    a schema:Intangible ;
    schema:name "Lattice theory"@en ;
    .


Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.