Relational and Algebraic Methods in Computer Science  15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /  [electronic resource] : 
edited by Wolfram Kahl, Michael Winter, José Oliveira. 
 - 1st ed. 2015. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (X, 395 p. 51 ill.) 
 - Lecture Notes in Computer Science,  9348  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319247045 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computer logic.<br/>Mathematical logic.<br/>Computer science--Mathematics.<br/>Artificial intelligence.