Vor Ort
Merkzettel Warenkorb
Produktbild: Modal Semirings and Applications
Band 72 Vorbesteller

Modal Semirings and Applications

Aus der Reihe Trends in Logic

93,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.10.2026

Abbildungen

XXIV, 573 p. 55 illus.

Verlag

Springer

Seitenzahl

573

Maße (L/B)

23,5/15,5 cm

Sprache

Englisch

ISBN

978-3-032-23591-6

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.10.2026

Abbildungen

XXIV, 573 p. 55 illus.

Verlag

Springer

Seitenzahl

573

Maße (L/B)

23,5/15,5 cm

Sprache

Englisch

ISBN

978-3-032-23591-6

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Modal Semirings and Applications

  • Idempotent Left Semirings.- Tests, (Co)Domain and Modal Operators .- Iteration: Kleene and Omega Algebras.- Simple Graph Algorithms.- Partial Correctness of Imperative Programs.- Knowledge Algebra.- Two-Player Game Analysis.- Game Algebra and Predicate Transformers.- Preferences in Databases.- Purely Finite and Purely Infinite Elements.- Temporal Logics.-  Algebraic Neighbourhood Logic.- General and Total Correctness.- Demonic Semantics.- Advanced Termination Analysis.- Existence of Predomain.- Alternative Axiomatisations of (Pre-)Domain.-  More Results on (Pre)Codomain.-  More on Modal Operators.- Kleene Modules and Related Structures.- Odds and Ends.