skip to content
A design algorithm for sequential machines and definability in monadic second-order arithmetic Preview this item
ClosePreview this item
Checking...

A design algorithm for sequential machines and definability in monadic second-order arithmetic

Author: Lawrence Hugh Landweber
Publisher: [West Lafayette, IN], 1967.
Dissertation: Diss., Purdue Univ, 1967.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : 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

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Lawrence Hugh Landweber
OCLC Number: 636867580
Description: VI, 67 Bl ; 28 cm : Ill.
Responsibility: by Lawrence Hugh Landweber.

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/636867580> # A design algorithm for sequential machines and definability in monadic second-order arithmetic
    a bgn:Thesis, schema:Book, schema:CreativeWork ;
    bgn:inSupportOf "Diss., Purdue Univ, 1967." ;
    library:oclcnum "636867580" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/inu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2599245172#Place/west_lafayette_in> ; # West Lafayette, IN
    schema:about <http://experiment.worldcat.org/entity/work/data/2599245172#Thing/endliche_automaten_theorie_der_regelungssysteme> ; # ENDLICHE AUTOMATEN (THEORIE DER REGELUNGSSYSTEME)
    schema:about <http://experiment.worldcat.org/entity/work/data/2599245172#Thing/schaltkreisentwurf_mikroelektronik> ; # SCHALTKREISENTWURF (MIKROELEKTRONIK)
    schema:about <http://experiment.worldcat.org/entity/work/data/2599245172#Thing/dessin_des_circuits_imprimes_microelectronique> ; # DESSIN DES CIRCUITS IMPRIMÉS (MICROÉLECTRONIQUE)
    schema:about <http://experiment.worldcat.org/entity/work/data/2599245172#Thing/circuit_design_mikroelectronics> ; # CIRCUIT DESIGN (MIKROELECTRONICS)
    schema:about <http://experiment.worldcat.org/entity/work/data/2599245172#Thing/automates_d_etat_fini_theorie_des_systemes_de_commande> ; # AUTOMATES D'ÉTAT FINI (THÉORIE DES SYSTÈMES DE COMMANDE)
    schema:about <http://experiment.worldcat.org/entity/work/data/2599245172#Thing/finite_automata_control_systems_theory> ; # FINITE AUTOMATA (CONTROL SYSTEMS THEORY)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2599245172#Person/landweber_lawrence_hugh> ; # Lawrence Hugh Landweber
    schema:datePublished "1967" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2599245172> ;
    schema:inLanguage "en" ;
    schema:name "A design algorithm for sequential machines and definability in monadic second-order arithmetic" ;
    schema:productID "636867580" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/636867580#PublicationEvent/west_lafayette_in_1967> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/636867580> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2599245172#Person/landweber_lawrence_hugh> # Lawrence Hugh Landweber
    a schema:Person ;
    schema:familyName "Landweber" ;
    schema:givenName "Lawrence Hugh" ;
    schema:name "Lawrence Hugh Landweber" ;
    .

<http://experiment.worldcat.org/entity/work/data/2599245172#Place/west_lafayette_in> # West Lafayette, IN
    a schema:Place ;
    schema:name "West Lafayette, IN" ;
    .

<http://experiment.worldcat.org/entity/work/data/2599245172#Thing/automates_d_etat_fini_theorie_des_systemes_de_commande> # AUTOMATES D'ÉTAT FINI (THÉORIE DES SYSTÈMES DE COMMANDE)
    a schema:Thing ;
    schema:name "AUTOMATES D'ÉTAT FINI (THÉORIE DES SYSTÈMES DE COMMANDE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2599245172#Thing/circuit_design_mikroelectronics> # CIRCUIT DESIGN (MIKROELECTRONICS)
    a schema:Thing ;
    schema:name "CIRCUIT DESIGN (MIKROELECTRONICS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2599245172#Thing/dessin_des_circuits_imprimes_microelectronique> # DESSIN DES CIRCUITS IMPRIMÉS (MICROÉLECTRONIQUE)
    a schema:Thing ;
    schema:name "DESSIN DES CIRCUITS IMPRIMÉS (MICROÉLECTRONIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2599245172#Thing/endliche_automaten_theorie_der_regelungssysteme> # ENDLICHE AUTOMATEN (THEORIE DER REGELUNGSSYSTEME)
    a schema:Thing ;
    schema:name "ENDLICHE AUTOMATEN (THEORIE DER REGELUNGSSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2599245172#Thing/finite_automata_control_systems_theory> # FINITE AUTOMATA (CONTROL SYSTEMS THEORY)
    a schema:Thing ;
    schema:name "FINITE AUTOMATA (CONTROL SYSTEMS THEORY)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2599245172#Thing/schaltkreisentwurf_mikroelektronik> # SCHALTKREISENTWURF (MIKROELEKTRONIK)
    a schema:Thing ;
    schema:name "SCHALTKREISENTWURF (MIKROELEKTRONIK)" ;
    .

<http://www.worldcat.org/title/-/oclc/636867580>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/636867580> ; # A design algorithm for sequential machines and definability in monadic second-order arithmetic
    schema:dateModified "2016-07-22" ;
    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.