default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogics of Programs 1980: Poznan, Poland
- Andrzej Salwicki:
Logics of Programs and Their Applications, Proceedings, Poznan, Poland, 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 - Manfred 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-15 00:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
