Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
tarafından
 
Kahl, Wolfram. editor.

Başlık
: 
Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Yazar
: 
Kahl, Wolfram. editor.

ISBN
: 
9783319247045

Basım Bilgisi
: 
1st ed. 2015.

Fiziksel Tanımlama
: 
X, 395 p. 51 illus. online resource.

Seri
: 
Theoretical Computer Science and General Issues, 9348

İçerik
: 
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.

Yazar Ek Girişi
: 
Kahl, Wolfram.
 
Winter, Michael.
 
Oliveira, José.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-24704-5


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap518883-1001ONLINEElektronik Kütüphane