中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

会议文集

文集名	Relational and Algebraic Methods in Computer Science
会议名	21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024)
中译名	《第二十一届国际计算机科学关系与代数方法会议》
会议日期	August 19-22, 2024
会议地点	Prague, Czech Republic
出版年	2024
馆藏号	353250

题名	作者	出版年
Tabular and Pretabular Varieties of MTL-Algebras	Stefano Aguzzoli; Matteo Bianchi	2024
Cyclic Group Spectra for Some Small Relation Algebras	Jeremy F. Alm; Ashlee Bostic; Claire Chenault; Kenyon Coleman; Chesney Culver	2024
Presenting Interval Pomsets with Interfaces	Amazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg; Krzysztof Ziemianski	2024
Irrationality of Process Replication for Higher-Dimensional Automata	Thomas Baronner; Henning Basold; Marton Hablicsek	2024
Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation	Ignacio Bellas Acosta; John G. Stell	2024
On the Structure of Balanced Residuated Partially Ordered Monoids	Stefano Bonzio; Jose Gil-Ferez; Peter Jipsen; Adam Prenosil; Melissa Sugimoto	2024
Complete Congruences of Completely Distributive Lattices	Cameron Calk; Luigi Santocanale	2024
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition Systems	Roland Gluck	2024
Restructuring a Concurrent Refinement Algebra	Ian J. Hayes; Larissa A. Meinicke; Naso Evangelou-Oost	2024
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras	Andrew Craig; Peter Jipsen; Claudette Robinson	2024
Data Migration Under a Changing Schema in Ampersand	Sebastiaan Joosten; Stef Joosten	2024
Using Matrix Sparsification to Solve Tropical Linear Vector Equations	Nikolai Krivulin	2024
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops	Yoshiki Nakamura	2024
L-Fuzzy Weak Preference, Preference, and Choice Relations	Frimpong Osei; Michael Winter	2024
Lifting Star-Autonomy	Cedric de Lacroix; Gregory Chichery; Luigi Santocanale	2024