SULJE VALIKKO

avaa valikko

Algebra and Coalgebra in Computer Science - First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Procee
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 457 sivua
Asu: Pehmeäkantinen kirja
Painos: 2005
Julkaisuvuosi: 2005, 18.08.2005 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
In April 2004, after one year of intense debate, CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Al- braic Development Techniques, decided to join their forces and reputations into a new high-level biennial conference. CALCO, the Conference on Algebra and Co- gebra in Computer Science, was created to bring together researchers and practit- ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. A steering committee was put together by merging those of CMCS and WADT: Jiri Adamek, Ataru Na- gawa, Michel Bidoit, Jose Fiadeiro (co-chair), Hans-Peter Gumm, Bart Jacobs, Hans- Jorg Kreowski, Ugo Montanari, Larry Moss, Peter Mosses, Fernando Orejas, Fr- cesco Parisi-Presicce, John Power, Horst Reichel, Markus Roggenbach, Jan Rutten (co-chair), and Andrzej Tarlecki. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last.
Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and co- ductive methods; modal logics; relational systems and term rewriting.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Algebra and Coalgebra in Computer Science - First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceezoom
Näytä kaikki tuotetiedot
ISBN:
9783540286202
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste