國立虎尾科技大學 |

Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Relational and algebraic methods in computer science/ edited by Wolfram Kahl, Michael Winter, Jose Oliveira.
其他題名:	15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
其他題名:	RAMiCS 2015
其他作者:	Oliveira, Jose.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Imprint: Springer, : 2015.,
面頁冊數:	x, 395 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Computer Science, general. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-24704-5
ISBN:	9783319247045

Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /[electronic resource] :RAMiCS 2015edited by Wolfram Kahl, Michael Winter, Jose Oliveira. - Cham :Imprint: Springer,2015. - x, 395 p. :ill., digital ;24 cm. - Lecture notes in computer science,93480302-9743 ;. - Lecture notes in computer science ;6140..

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.

ISBN: 9783319247045

Standard No.: 10.1007/978-3-319-24704-5doiSubjects--Topical Terms:

669807
Computer Science, general.

LC Class. No.: QA76.9.M35

Dewey Class. No.: 004.0151

Relational and algebraic methods in computer science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings /
LDR:02272nam a2200337 a 4500 001 838322
003 DE-He213
005 20160425144848.0
006 m d
007 cr nn 008maaau
008 160616s2015 gw s 0 eng d
020 $a 9783319247045 $q (electronic bk.)
020 $a 9783319247038 $q (paper)
024 7 $a 10.1007/978-3-319-24704-5 $2 doi
035 $a 978-3-319-24704-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.M35
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.M35 $b R173 2015
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Relational and algebraic methods in computer science $h [electronic resource] : $b 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015 : proceedings / $c edited by Wolfram Kahl, Michael Winter, Jose Oliveira.
246 3 $a RAMiCS 2015
260 $a Cham : $c 2015. $b Imprint: Springer, $b Springer International Publishing :
300 $a x, 395 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9348
505 0 $a 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.
520 $a 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.
650 2 4 $a Computer Science, general. $3 669807
650 1 4 $a Computer Science. $3 593922
650 0 $a Relation algebras $v Congresses. $3 792458
650 0 $a Algebraic logic $v Congresses. $3 792459
650 0 $a Computer science $x Mathematics $v Congresses. $3 528619
700 1 $a Oliveira, Jose. $3 1069368
700 1 $a Winter, Michael. $3 887881
700 1 $a Kahl, Wolfram. $3 883180
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-24704-5
950 $a Computer Science (Springer-11645)