Andrzej Salwicki (Ed.):
Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980.
Lecture Notes in Computer Science 148 Springer 1983, ISBN 3-540-11981-7 
- Hajnal Andréka:
Sharpening the characterization of the power of Floyd method.
1-26
- Lech Banachowski:
On proving program correctness by means of stepwise refinement method.
27-44
- W. W. Bartol, Antoni Kreczmar, A. I. Litwiniuk, H. Oktaba:
Semantics and implementation of prefixing at many levels.
45-80
- Francine Berman:
Nonstandard model in propositional dynamic logic.
81-85
- Hans-Dieter Burkhard:
On priorities of parallelism.
86-97
- Bogdan S. Chlebus:
On four logics of programs and complexity of their satisfiability problems: extended abstract.
98-107
- Ludwik Czaja:
Are infinite behaviors of parallel system schemata necessary?.
108-117
- W. Danko:
Algorithmic logic for program trees.
118-131
- Patrice Enjalbert:
Algebraic semantics and program logics: Algorithmic logic for program trees.
132-147
- Michal Grabowski:
Some model-theoretical properties of logic for programs with random control.
148-155
- Hiroya Kawai:
A formal system for parallel programs in discrete time and space.
156-165
- Grazyna Mirkowska:
On the propositional algorithmic theory of arithmetic.
166-185
- István Németi:
Nonstandard runs of Floyd-provable programs.
186-204
- Ewa Orlowska:
On some extensions of dynamic logic.
205-212
- Uwe Petermann:
On Algorithmic Logic with Partial Operations.
213-223
- Alberto Pettorossi:
Towards a theory of parallelism and communications for increasing efficiency in applicative languages.
224-249
- Gordon D. Plotkin:
An operational semantics for CSO.
250-252
- S. R. Radev:
Programming languages and logics of programs.
253-257
- Andrzej Skowron:
Concurrent programs.
258-269
- Lucjan Stapp:
Axiomatic approach to the system of files.
270-294
- M. E. Szabo:
A sequent calculus for Kröger logic.
295-303
- Mars K. Valiev:
On axiomatization of process logic.
304-313
- Dimiter Vakarelov:
Filtration theorem for dynamic algebras with tests and inverse operator.
314-324
Copyright © Mon Nov 2 20:57:15 2009
by Michael Ley (ley@uni-trier.de)
