Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Bedlewo, Poland, April 7-10, 2026, Proceedings
Published on 1. April 2026
XX, 335 pages
978-3-032-22469-9 (ISBN)
Description
This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Bedlewo, Poland, during April 7-10, 2026.
The 18 full papers included in this book were carefully reviewed and selected from 23 submissions. RAMiCS 2026 topics range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.solutions.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Product notice
Reflowable
Illustrations
XX, 335 p. 31 illus., 1 illus. in color.
File size
12,44 MB
ISBN-13
978-3-032-22469-9 (9783032224699)
DOI
10.1007/978-3-032-22469-9
Schweitzer Classification
Other editions
Additional editions
Uli Fahrenberg | Wesley Fussner | Luigi Santocanale
Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Bedlewo, Poland, April 7-10, 2026, Proceedings
Book
04/2026
Springer
€87.73
Shipment within 15-20 days
Content
.- Structural Testing with Homomorphic Encryption. .- Compositional Control-Driven Boolean Circuits..- Structural Testing with Homomorphic Encryption. .- Compositional Control-Driven Boolean Circuits.
