• 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

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.03.2023

Abbildungen

XVIII, 293 p. 25 illus., 4 illus. in color.

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 ed. 2023

Sprache

Englisch

ISBN

978-3-031-28082-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.03.2023

Abbildungen

XVIII, 293 p. 25 illus., 4 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

293

Maße (L/B/H)

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

Gewicht

476 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-28082-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: 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.