skip to content
Logic of programs : workshop, ETH Zürich, May-July 1979 Preview this item
ClosePreview this item
Checking...

Logic of programs : workshop, ETH Zürich, May-July 1979

Author: Erwin Engeler; Eidgenössische Technische Hochschule Zürich.
Publisher: Berlin ; New York : Springer, 1981.
Series: Lecture notes in computer science, 125.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Kongress
Kongresser
Additional Physical Format: (OCoLC)790046358
(NO-TrBIB)070437130
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Erwin Engeler; Eidgenössische Technische Hochschule Zürich.
ISBN: 0387111603 9780387111605 3540111603 9783540111603
OCLC Number: 8098788
Description: 245 pages : illustrations ; 25 cm.
Contents: On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL - Propositional algorithmic logic.- Propositional dynamic logics of programs: A survey.- On the algorithmic theory of dictionaries.- On the algorithmic properties of concurrent programs.- A survey of the logic of effective definitions.
Series Title: Lecture notes in computer science, 125.
Responsibility: edited by Erwin Engeler.

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/8098788> # Logic of programs : workshop, ETH Zürich, May-July 1979
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "8098788" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/862939329#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/formale_methode> ; # Formale Methode
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/datenverarbeitung> ; # Datenverarbeitung
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/computer_programs> ; # Computer programs
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/algoritmer> ; # Algoritmer
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/programmeurs> ; # Programmeurs
    schema:about <http://dewey.info/class/001.6425/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/matematisk_logikk> ; # Matematisk logikk
    schema:about <http://experiment.worldcat.org/entity/work/data/862939329#Topic/programmation_mathematiques> ; # Programmation (Mathématiques)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/129675534> ; # Eidgenössische Technische Hochschule Zürich.
    schema:contributor <http://viaf.org/viaf/85204564> ; # Erwin Engeler
    schema:datePublished "1981" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/862939329> ;
    schema:genre "Kongress"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862939329#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/790046358> ;
    schema:name "Logic of programs : workshop, ETH Zürich, May-July 1979"@en ;
    schema:productID "8098788" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/8098788#PublicationEvent/berlin_new_york_springer_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/862939329#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/3-540-11160-3> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-11160-3> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=125> ;
    schema:workExample <http://worldcat.org/isbn/9780387111605> ;
    schema:workExample <http://worldcat.org/isbn/9783540111603> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/8098788> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/862939329#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/8098788> ; # Logic of programs : workshop, ETH Zürich, May-July 1979
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862939329#Topic/computer_programs> # Computer programs
    a schema:Intangible ;
    schema:name "Computer programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862939329#Topic/datenverarbeitung> # Datenverarbeitung
    a schema:Intangible ;
    schema:name "Datenverarbeitung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862939329#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862939329#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862939329#Topic/matematisk_logikk> # Matematisk logikk
    a schema:Intangible ;
    schema:name "Matematisk logikk"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862939329#Topic/programmation_mathematiques> # Programmation (Mathématiques)
    a schema:Intangible ;
    schema:name "Programmation (Mathématiques)"@fr ;
    .

<http://viaf.org/viaf/129675534> # Eidgenössische Technische Hochschule Zürich.
    a schema:Organization ;
    schema:name "Eidgenössische Technische Hochschule Zürich." ;
    .

<http://viaf.org/viaf/85204564> # Erwin Engeler
    a schema:Person ;
    schema:familyName "Engeler" ;
    schema:givenName "Erwin" ;
    schema:name "Erwin Engeler" ;
    .

<http://worldcat.org/isbn/9780387111605>
    a schema:ProductModel ;
    schema:isbn "0387111603" ;
    schema:isbn "9780387111605" ;
    .

<http://worldcat.org/isbn/9783540111603>
    a schema:ProductModel ;
    schema:isbn "3540111603" ;
    schema:isbn "9783540111603" ;
    .

<http://www.worldcat.org/oclc/790046358>
    a schema:CreativeWork ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/8098788> ; # Logic of programs : workshop, ETH Zürich, May-July 1979
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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