会议文集


文集名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-AlgebrasStefano Aguzzoli; Matteo Bianchi2024
Cyclic Group Spectra for Some Small Relation AlgebrasJeremy F. Alm; Ashlee Bostic; Claire Chenault; Kenyon Coleman; Chesney Culver2024
Presenting Interval Pomsets with InterfacesAmazigh Amrane; Hugo Bazille; Emily Clement; Uli Fahrenberg; Krzysztof Ziemianski2024
Irrationality of Process Replication for Higher-Dimensional AutomataThomas Baronner; Henning Basold; Marton Hablicsek2024
Monotone Ω-Sup-Fuzzy Relations: Converse and ComplementationIgnacio Bellas Acosta; John G. Stell2024
On the Structure of Balanced Residuated Partially Ordered MonoidsStefano Bonzio; Jose Gil-Ferez; Peter Jipsen; Adam Prenosil; Melissa Sugimoto2024
Complete Congruences of Completely Distributive LatticesCameron Calk; Luigi Santocanale2024
A Matrix-Oriented View of Bisimulation Quotients over Dioid-Labeled Transition SystemsRoland Gluck2024
Restructuring a Concurrent Refinement AlgebraIan J. Hayes; Larissa A. Meinicke; Naso Evangelou-Oost2024
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-AlgebrasAndrew Craig; Peter Jipsen; Claudette Robinson2024
Data Migration Under a Changing Schema in AmpersandSebastiaan Joosten; Stef Joosten2024
Using Matrix Sparsification to Solve Tropical Linear Vector EquationsNikolai Krivulin2024
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph LoopsYoshiki Nakamura2024
L-Fuzzy Weak Preference, Preference, and Choice RelationsFrimpong Osei; Michael Winter2024
Lifting Star-AutonomyCedric de Lacroix; Gregory Chichery; Luigi Santocanale2024



制造业外文文献服务平台