Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Relational and Algebraic Methods in Computer Science

E-BookPDF1 - PDF WatermarkE-Book
261 Seiten
Englisch
Springer International Publishingerschienen am11.08.20242024
This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19-22, 2024.

The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR62,05
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR78,10
E-BookPDF1 - PDF WatermarkE-Book
EUR117,69

Produkt

KlappentextThis book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19-22, 2024.

The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Details
Weitere ISBN/GTIN9783031682797
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2024
Erscheinungsdatum11.08.2024
Auflage2024
ReiheLecture Notes in Computer Science
Reihen-Nr.14787
Seiten261 Seiten
SpracheEnglisch
Dateigrösse5682 Kbytes
IllustrationenX, 261 p. 28 illus., 11 illus. in color.
Artikel-Nr.17300741
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Tabular and Pretabular Varieties of MTL-algebras.- Cyclic Group Spectra for Some Small Relation Algebras.-Presenting Interval Pomsets with Interfaces.- Irrationality of Process Replication for Higher-Dimensional Automata.- Monotone O-Sup-Fuzzy Relations: Converse and Complementation.- On the Structure of Balanced Residuated Partially-ordered Monoids.- Complete Congruences of Completely Distributive Lattices.- A Matrix-oriented View of Bisimulations Quotients over Dioid-labeled Transition Systems.- Restructuring a Concurrent Refinement Algebra.- Frames and Spaces for Distributive Quasi Relation Algebras and Involutive FL-algebras.- Data Migration under a Changing Schema in Ampersand.- Using Matrix Sparsification to Solve Tropical Linear Vector Equations.- Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops.- L-Fuzzy Weak Preference, Preference, and Choice Relations.- Lifting Star-autonomy.mehr