default search action

combined dblp search
author search
venue search
publication search

ask others

Logics of Programs 1979: Zürich, Switzerland

> Home > Conferences and Workshops > Logics of Programs

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lop/1979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/1979
Erwin Engeler:
Logics of Programs, Workshop, ETH Zürich, May-July 1979. Lecture Notes in Computer Science 125, Springer 1981, ISBN 3-540-11160-3
- view
  authority control:
- export record
  dblp key:
  - conf/lop/Kozen79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/Kozen79
Dexter Kozen:
On the Duality of Dynamic Algebras and Kripke Models. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/lop/MeyerSM79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/MeyerSM79
Albert R. Meyer, Robert S. Streett, Grazyna Mirkowska:
The Deducibility Problem in Propositional Dynamic Logic. 12-22
- view
  authority control:
- export record
  dblp key:
  - conf/lop/Mirkowska79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/Mirkowska79
Grazyna Mirkowska:
PAL - Propositional Algorithmic Logic. 23-101
- view
  authority control:
- export record
  dblp key:
  - conf/lop/Parikh79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/Parikh79
Rohit Parikh:
Propositional Dynamic Logics of Programs: a Survey. 102-144
- view
  authority control:
- export record
  dblp key:
  - conf/lop/Salwicki79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/Salwicki79
Andrzej Salwicki:
On the Algorithmic Theory of Dictionaries. 145-168
- view
  authority control:
- export record
  dblp key:
  - conf/lop/SalwickiM79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/SalwickiM79
Andrzej Salwicki, Tomasz Müldner:
On the Algorithmic Properties of Concurrent Programs. 169-197
- view
  authority control:
- export record
  dblp key:
  - conf/lop/Tiuryn79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/Tiuryn79
Jerzy Tiuryn:
A Survey of the Logic of Effective Definitions. 198-245

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.