bokomslag Logic of Programs
Data & IT

Logic of Programs

E Engeler

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 245 sidor
  • 1981
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.

  • Författare: E Engeler
  • 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