• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Algebra and Coalgebra in Computer Science

      First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

      AvJosé Luis Fiadeiro,Neil Harman

      Häftad, Engelska, 2005

      Del i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      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.

      Produktinformation

      • Utgivningsdatum:2005-08-18
      • Mått:155 x 235 x 26 mm
      • Vikt:703 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:457
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540286202

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • Invited Talks.- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.- Labels from Reductions: Towards a General Theory.- Adequacy for Algebraic Effects with State.- Contributed Papers.- Bisimilarity Is Not Finitely Based over BPA with Interrupt.- Algebra ? Coalgebra = Presheaves.- Strong Splitting Bisimulation Equivalence.- Complete Axioms for Stateless Connectors.- On the Semantics of Coinductive Types in Martin-Löf Type Theory.- Look: Simple Stochastic Relations Are Just, Well, Simple.- Modelling Fusion Calculus using HD-Automata.- An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.- Using Proofs by Coinduction to Find “Traditional” Proofs.- From T-Coalgebras to Filter Structures and Transition Systems.- Context-Free Languages via Coalgebraic Trace Semantics.- Towards a Coalgebraic Semantics of the Ambient Calculus.- The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.- Ultrafilter Extensions for Coalgebras.- Equational Logic of Recursive Program Schemes.- The Category Theoretic Solution of Recursive Program Schemes.- A Categorical Approach to Simulations.- Behavioral Extensions of Institutions.- Discrete Lawvere Theories.- Final Semantics for Event-Pattern Reactive Programs.- Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.- Final Sequences and Final Coalgebras for Measurable Spaces.- Bireachability and Final Multialgebras.- Parametrized Exceptions.- Property Preserving Redesign of Specifications.
      Hoppa över listan

      Du kanske också är intresserad av

      Jan Rutten, Markus Roggenbach, Neil Harman, Jose Luis Fiadeiro - Algebra and Coalgebra in Computer Science, E-bok

      Algebra and Coalgebra in Computer Science

      Jan Rutten, Markus Roggenbach, Neil Harman, Jose Luis Fiadeiro

      E-bok
      2005

      739 kr

      Neil Harman - Brushes with a Stroke, Häftad

      Brushes with a Stroke

      Neil Harman

      Häftad, 2025

      165 kr

      Jan Rutten, Catuscia Palamidessi, Elham Kashefi, Franck van Breugel - Horizons of the Mind. A Tribute to Prakash Panangaden, E-bok

      Horizons of the Mind. A Tribute to Prakash Panangaden

      Jan Rutten, Catuscia Palamidessi, Elham Kashefi, Franck van Breugel

      E-bok
      2014

      710 kr

      Neil Harman - All My Own Words, Inbunden

      All My Own Words

      Neil Harman

      Inbunden, 2022

      269 kr

      Davide Sangiorgi, Jan Rutten - Advanced Topics in Bisimulation and Coinduction, Inbunden
      Del 52

      Advanced Topics in Bisimulation and Coinduction

      Davide Sangiorgi, Jan Rutten

      Inbunden, 2011

      1 682 kr

      Jan Rutten, Marcello Bonsangue, Frank de Boer - It's All About Coordination, E-bok

      It's All About Coordination

      Jan Rutten, Marcello Bonsangue, Frank de Boer

      E-bok
      2018

      734 kr

      Neil Harman - Close Quarters, E-bok

      Close Quarters

      Neil Harman

      E-bok
      2020

      136 kr

      Neil Harman - Close Quarters, Häftad

      Close Quarters

      Neil Harman

      Häftad, 2020

      144 kr

      Neil Harman - All My Own Words, E-bok

      All My Own Words

      Neil Harman

      E-bok
      2022

      136 kr

      Frank de Boer, Marcello Bonsangue, Jan Rutten - It's All About Coordination, Häftad

      It's All About Coordination

      Frank de Boer, Marcello Bonsangue, Jan Rutten

      Häftad, 2018

      566 kr