- Start
- Logic of Programs
Logic of Programs
Angebote / Angebote:
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.
Folgt in ca. 5 Arbeitstagen