skip to content
Langages du deuxième ordre et automates d'arbres infinis : applications à la sémantique des programmes et à la complexité des algorithmes Preview this item
ClosePreview this item
Checking...

Langages du deuxième ordre et automates d'arbres infinis : applications à la sémantique des programmes et à la complexité des algorithmes

Author: Guy Vidal-Naquet
Publisher: Paris : Université de Paris VI, 1973.
Dissertation: Paris VI
Edition/Format:   Thesis/dissertation : Thesis/dissertation : FrenchView 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

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Guy Vidal-Naquet
OCLC Number: 3290301
Description: 79 pages ; 28 cm
Responsibility: par Guy Vidal-Naquet.

Reviews

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

Tags

Be the first.

Similar Items

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/3290301> # Langages du deuxième ordre et automates d'arbres infinis : applications à la sémantique des programmes et à la complexité des algorithmes
    a bgn:Thesis, schema:Book, schema:CreativeWork ;
   bgn:inSupportOf "" ;
   library:oclcnum "3290301" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/fr> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/365912980#Place/paris> ; # Paris
   schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
   schema:about <http://dewey.info/class/510.7844/> ;
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:creator <http://viaf.org/viaf/48223988> ; # Guy Vidal-Naquet
   schema:datePublished "1973" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/365912980> ;
   schema:inLanguage "fr" ;
   schema:name "Langages du deuxième ordre et automates d'arbres infinis : applications à la sémantique des programmes et à la complexité des algorithmes" ;
   schema:productID "3290301" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/3290301#PublicationEvent/paris_universite_de_paris_vi_1973> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/365912980#Agent/universite_de_paris_vi> ; # Université de Paris VI
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/3290301> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/365912980#Agent/universite_de_paris_vi> # Université de Paris VI
    a bgn:Agent ;
   schema:name "Université de Paris VI" ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)" ;
    .

<http://id.worldcat.org/fast/805020> # Algorithms
    a schema:Intangible ;
   schema:name "Algorithms" ;
    .

<http://viaf.org/viaf/48223988> # Guy Vidal-Naquet
    a schema:Person ;
   schema:familyName "Vidal-Naquet" ;
   schema:givenName "Guy" ;
   schema:name "Guy Vidal-Naquet" ;
    .

<http://www.worldcat.org/title/-/oclc/3290301>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/3290301> ; # Langages du deuxième ordre et automates d'arbres infinis : applications à la sémantique des programmes et à la complexité des algorithmes
   schema:dateModified "2016-05-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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