skip to content
Logics of programs and their applications : proceedings, Poznan, August 23 - 29, 1980 Preview this item
ClosePreview this item
Checking...

Logics of programs and their applications : proceedings, Poznan, August 23 - 29, 1980

Author: Andrzej Salwicki
Publisher: Berlin u.a. : Springer, 1983.
Series: Lecture notes in computer science, 148.
Edition/Format:   Computer file
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
Kongreß
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrzej Salwicki
ISBN: 0387119817 9780387119816 3540119817 9783540119814
OCLC Number: 873631934
Description: VI, 324 S.
Contents: Sharpening the characterization of the power of Floyd method.- On proving program correctness by means of stepwise refinement method.- Semantics and implementation of prefixing at many levels.- Nonstandard models in Propositional Dynamic Logic.- On priorities of parallelism: Petri nets under the maximum firing strategy.- On four logics of programs and complexity of their satisfiability problems : Extended abstract.- Are infinite behaviours of parallel system schemata necessary?.- Algorithmic properties of finitely generated structures.- Algebraic semantics and program logics: Algorithmic logic for program trees.- Some model-theoretical properties of logic for programs with random control.- A formal system for parallel programs in discrete time and space.- On the propositional algorithmic theory of arithmetic.- Nonstandard runs of Floyd-provable programs.- On some extensions of dynamic logic.- On algorithmic logic with partial operations.- Towards a theory of parallelism and communications for increasing efficiency in applicative languages.- An operational semantics for CSP.- Programming languages and logics of programs.- Concurrent programs.- Axiomatic approach to the system of files.- A sequent calculus for Kroger logic.- On axiomatization of process logic.- Filtration theorem for dynamic algebras with tests and inverse operator.
Series Title: Lecture notes in computer science, 148.
Responsibility: ed. by A. Salwicki.

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/873631934> # Logics of programs and their applications proceedings, Poznan, August 23 - 29, 1980
    a schema:CreativeWork, bgn:ComputerFile ;
    library:oclcnum "873631934" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/892798678#Place/berlin_u_a> ; # Berlin u.a.
    schema:about <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierlogik> ; # Programmierlogik
    schema:about <http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierung> ; # Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/892798678#Topic/logik> ; # Logik
    schema:contributor <http://experiment.worldcat.org/entity/work/data/892798678#Person/salwicki_andrzej> ; # Andrzej Salwicki
    schema:contributor <http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> ; # Symposium on Logics of Programs and Their Applications (1980 : Poznán)
    schema:datePublished "1983" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/892798678> ;
    schema:genre "Kongress" ;
    schema:genre "Kongreß" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892798678#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Logics of programs and their applications proceedings, Poznan, August 23 - 29, 1980" ;
    schema:productID "873631934" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/873631934#PublicationEvent/berlin_u_a_springer_1983> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/892798678#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/3-540-11981-7> ;
    schema:workExample <http://worldcat.org/isbn/9780387119816> ;
    schema:workExample <http://worldcat.org/isbn/9783540119814> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-11981-7> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/873631934> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/892798678#Meeting/symposium_on_logics_of_programs_and_their_applications_1980_poznan> # Symposium on Logics of Programs and Their Applications (1980 : Poznán)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/892798678#Place/poznan> ; # Poznán)
    schema:name "Symposium on Logics of Programs and Their Applications (1980 : Poznán)" ;
    schema:sameAs <http://d-nb.info/gnd/5001626-X> ;
    .

<http://experiment.worldcat.org/entity/work/data/892798678#Person/salwicki_andrzej> # Andrzej Salwicki
    a schema:Person ;
    schema:familyName "Salwicki" ;
    schema:givenName "Andrzej" ;
    schema:name "Andrzej Salwicki" ;
    schema:sameAs <http://d-nb.info/gnd/110480554> ;
    .

<http://experiment.worldcat.org/entity/work/data/892798678#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/873631934> ; # Logics of programs and their applications proceedings, Poznan, August 23 - 29, 1980
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/892798678#Topic/programmierlogik> # Programmierlogik
    a schema:Intangible ;
    schema:name "Programmierlogik" ;
    .

<http://worldcat.org/isbn/9780387119816>
    a schema:ProductModel ;
    schema:isbn "0387119817" ;
    schema:isbn "9780387119816" ;
    .

<http://worldcat.org/isbn/9783540119814>
    a schema:ProductModel ;
    schema:isbn "3540119817" ;
    schema:isbn "9783540119814" ;
    .

<http://www.worldcat.org/title/-/oclc/873631934>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/873631934> ; # Logics of programs and their applications proceedings, Poznan, August 23 - 29, 1980
    schema:dateModified "2016-08-09" ;
    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.