769:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783540111603
- Språk: Engelska
- Antal sidor: 245
- Utgivningsdatum: 1981-11-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K