aller au contenu
Data types as lattices Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Data types as lattices

Auteur : Dana S Scott
Éditeur : Oxford : Oxford University Computing Laboratory, Programming Research Group, 1976.
Collection : Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Édition/format :   Livre imprimé : EnglishVoir toutes les éditions et tous les formats
Base de données :WorldCat
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format : Book
Tous les auteurs / collaborateurs : Dana S Scott
Numéro OCLC : 5265360
Notes : Cover title.
Reprinted from the SIAM journal on computing, v. 5.
Description : pages 522-587 ; 25 cm.
Titre de collection : Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Responsabilité : by Dana Scott.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Étiquettes

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Dont have an account? You can easily créez un compte gratuit.