>> Google Books

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

フォーマット:
電子ブック
責任表示:
edited by Wolfram Kahl, Michael Winter, Jose Oliveira
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
X, 395 p. 51 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9348
目次情報:
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
Theory of relation algebras and Kleene algebras
Process algebras
Fixed point calculi
Idempotent semirings
Quantales, allegories, and dynamic algebras
Cylindric algebras
続きを見る
書誌ID:
LB00386522
ISBN:
9783319247038 [3319247034]  CiNii Books  Webcat Plus  Google Books
9783319247045 [3319247042]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

De Nivelle, Hans, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Calimeri, Francesco, Ianni, Giovambattista, Truszczynski, Miroslaw, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Dediu, Adrian-Horia, Formenti, Enrico, Martin-Vide, Carlos, Truthe, Bianca, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Maletti, Andreas, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Leucker, Martin, Rueda, Camilo, Valencia, Frank D., SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

van der Hoek, Wiebe, Holliday, Wesley H., Wang, Wen-fang, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Hinze, Ralf, Voigtlander, Janis, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Botana, Francisco, Quaresma, Pedro, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Parisi-Presicce, Francesco, Westfechtel, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Manea, Florin, Nowotka, Dirk, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Banerjee, Mohua, Krishna, Shankara Narayanan, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer