Vor Ort
Merkzettel Warenkorb
  • Produktbild: Relational and Algebraic Methods in Computer Science
  • Produktbild: Relational and Algebraic Methods in Computer Science
Band 13896

Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.03.2023

Herausgeber

Roland Glück + weitere

Verlag

Springer

Seitenzahl

293

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

476 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-28082-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.03.2023

Herausgeber

Verlag

Springer

Seitenzahl

293

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

476 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-28082-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Relational and Algebraic Methods in Computer Science
  • Produktbild: Relational and Algebraic Methods in Computer Science

  • Amalgamation Property for Some Varieties of BL-algebras Generated by one Finite Set of BL-chains with Finitely-many Components.- Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture.- A General Method for Representing Sets of Relations by Vectors.- Contextuality in Distributed Systems.- The Structure of Locally Integral Involutive Po-monoids and Semirings.- Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients.- Dependences Between Domain Constructions in Heterogeneous Relation Algebras.- Normal Forms for Elements of the *-Continuous Kleene Algebras K (x) C2'.- Representable and Diagonally rRpresentable Weakening Relation Algebras.- Completeness and the Finite Model Property for Kleene Algebra, Reconsidered.- What Else is Undecidable About Loops.- Implication Algebras and Implication Semigroups of Binary Relations.- On the Complexity of Kleene Algebra with Domain.- Enumerating, Cataloguing and Classifying all Quantales on up to Nine Elements.- Duoidally Enriched Freyd Categories.- Towards a Theory of Conversion Relations for Prefixed Units of Measure.- Relational Algebraic Approach to the Real Numbers - The Additive Group.