04214nam 22008415 450 99646629700331620240222170041.03-319-24704-210.1007/978-3-319-24704-5(CKB)4340000000001143(SSID)ssj0001585502(PQKBManifestationID)16265442(PQKBTitleCode)TC0001585502(PQKBWorkID)14864851(PQKB)11376968(DE-He213)978-3-319-24704-5(MiAaPQ)EBC6297173(MiAaPQ)EBC5591348(Au-PeEL)EBL5591348(OCoLC)922540885(PPN)190528664(EXLCZ)99434000000000114320150924d2015 u| 0engurnn#008mamaatxtccrRelational and Algebraic Methods in Computer Science[electronic resource] 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /edited by Wolfram Kahl, Michael Winter, José Oliveira1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (X, 395 p. 51 illus.)Theoretical Computer Science and General Issues,2512-2029 ;9348Bibliographic Level Mode of Issuance: Monograph3-319-24703-4 Theory of relation algebras and Kleene algebras -- Process algebras -- Fixed point calculi -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.-  Cylindric algebras -- Application in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches to logics of programs -- Modal and dynamic logics -- Interval and temporal logics.This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras;  cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.Theoretical Computer Science and General Issues,2512-2029 ;9348Machine theoryComputer science—MathematicsComputer scienceSoftware engineeringArtificial intelligenceDiscrete mathematicsFormal Languages and Automata TheorySymbolic and Algebraic ManipulationComputer Science Logic and Foundations of ProgrammingSoftware EngineeringArtificial IntelligenceDiscrete Mathematics in Computer ScienceMachine theory.Computer science—Mathematics.Computer science.Software engineering.Artificial intelligence.Discrete mathematics.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.Computer Science Logic and Foundations of Programming.Software Engineering.Artificial Intelligence.Discrete Mathematics in Computer Science.004.0151Kahl Wolframedthttp://id.loc.gov/vocabulary/relators/edtWinter Michael(Professor).edthttp://id.loc.gov/vocabulary/relators/edtOliveira Joséedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466297003316Relational and Algebraic Methods in Computer Science2201468UNISA