![Logic of Programs [electronic resource] : Workshop, ETH Zürich, May–July 1979 /](/search/themes/bootstrap3/images/libros.png)
Logic of Programs [electronic resource] : Workshop, ETH Zürich, May–July 1979 /
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1981
|
| Subjects: | Computer science., Computer logic., Computer Science., Logics and Meanings of Programs., |
| Online Access: | http://dx.doi.org/10.1007/3-540-11160-3 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|