Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /

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....

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Kahl, Wolfram (Επιμελητής έκδοσης), Winter, Michael (Επιμελητής έκδοσης), Oliveira, José (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
Έκδοση:1st ed. 2015.
Σειρά:Lecture Notes in Computer Science, 9348
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.