skip to content
Locally boolean domains and universal models for infinitary sequential languages Preview this item
ClosePreview this item
Checking...

Locally boolean domains and universal models for infinitary sequential languages

Author: Tobias Löw
Dissertation: Techn. University, Diss., 2006--Darmstadt.
Edition/Format:   Computer file : Thesis/dissertation : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Tobias Löw
OCLC Number: 180119651
Description: Online-Ressource.
Details: Systemvoraussetzungen: Adobe Acrobat Reader.
Responsibility: vorgelegt von Tobias Löw.

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/180119651> # Locally boolean domains and universal models for infinitary sequential languages
    a schema:CreativeWork, bgn:ComputerFile, bgn:Thesis ;
    bgn:inSupportOf "Techn. University, Diss., 2006--Darmstadt." ;
    library:oclcnum "180119651" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3372446862#Topic/typisierte_programmiersprache> ; # Typisierte Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/3372446862#Topic/boolesche_algebra> ; # Boolesche Algebra
    schema:about <http://dewey.info/class/511.3/e22/ger/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3372446862#Topic/funktionale_programmiersprache> ; # Funktionale Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/3372446862#Topic/bereichstheorie> ; # Bereichstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/3372446862#Topic/sequentieller_algorithmus> ; # Sequentieller Algorithmus
    schema:author <http://experiment.worldcat.org/entity/work/data/3372446862#Person/low_tobias> ; # Tobias Löw
    schema:datePublished "2007" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3372446862> ;
    schema:inLanguage "en" ;
    schema:name "Locally boolean domains and universal models for infinitary sequential languages" ;
    schema:productID "180119651" ;
    schema:url <http://elib.tu-darmstadt.de/diss/000790> ;
    schema:url <http://deposit.d-nb.de/cgi-bin/dokserv?idn=983344639> ;
    umbel:isLike <http://d-nb.info/983344639> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/180119651> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3372446862#Person/low_tobias> # Tobias Löw
    a schema:Person ;
    schema:familyName "Löw" ;
    schema:givenName "Tobias" ;
    schema:name "Tobias Löw" ;
    .

<http://experiment.worldcat.org/entity/work/data/3372446862#Topic/boolesche_algebra> # Boolesche Algebra
    a schema:Intangible ;
    schema:name "Boolesche Algebra" ;
    .

<http://experiment.worldcat.org/entity/work/data/3372446862#Topic/funktionale_programmiersprache> # Funktionale Programmiersprache
    a schema:Intangible ;
    schema:name "Funktionale Programmiersprache" ;
    .

<http://experiment.worldcat.org/entity/work/data/3372446862#Topic/sequentieller_algorithmus> # Sequentieller Algorithmus
    a schema:Intangible ;
    schema:name "Sequentieller Algorithmus" ;
    .

<http://experiment.worldcat.org/entity/work/data/3372446862#Topic/typisierte_programmiersprache> # Typisierte Programmiersprache
    a schema:Intangible ;
    schema:name "Typisierte Programmiersprache" ;
    .

<http://www.worldcat.org/title/-/oclc/180119651>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/180119651> ; # Locally boolean domains and universal models for infinitary sequential languages
    schema:dateModified "2016-07-16" ;
    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.