Muutke küpsiste eelistusi

E-raamat: Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 8089
  • Ilmumisaeg: 27-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642402067
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, ProceedingsSuurem pilt
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 8089
  • Ilmumisaeg: 27-Aug-2013
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642402067
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013. The 18 full papers presented together with 4 invited talks were carefully reviewed and selected from 33 submissions. The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing. The book also includes 6 papers from the CALCO Tools Workshop, co-located with CALCO 2013 and dedicated to tools based on algebraic and/or coalgebraic principles.
Invited Talks
An Effect System for Algebraic Effects and Handlers
1(16)
Andrej Bauer
Matija Pretnar
Automata and Algebras for Infinite Words and Trees
17(2)
Mikolaj Bojanczyk
Positive Inductive-Recursive Definitions
19(15)
Neil Ghani
Lorenzo Malatesta
Fredrik Nordvall Forsberg
Coalgebraic Up-to Techniques
34(2)
Damien Pous
Contributed Papers
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
36(15)
Luca Aceto
Eugen-Ioan Goriac
Anna Ingolfsdottir
Mohammad Reza Mousavi
Michel A. Reniers
Positive Fragments of Coalgebraic Logics
51(15)
Adriana Balan
Alexander Kurz
Jiri Velebil
Many-Valued Relation Lifting and Moss' Coalgebraic Logic
66(14)
Marta Bilkova
Matej Dostal
Saturated Semantics for Coalgebraic Logic Programming
80(15)
Filippo Bonchi
Fabio Zanasi
Presenting Distributive Laws
95(15)
Marcello M. Bonsangue
Helle Hvid Hansen
Alexander Kurz
Jurriaan Rot
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
110(16)
Vincenzo Ciancia
Homomorphisms of Coalgebras from Predicate Liftings
126(15)
Sebastian Enqvist
From Kleisli Categories to Commutative C*-Algebras: Probabilistic Gelfand Duality
141(17)
Robert Furber
Bart Jacobs
Trace Semantics via Generic Observations
158(17)
Sergey Goncharov
Full Abstraction for Fair Testing in CCS
175(16)
Tom Hirschowitz
A Simple Case of Rationality of Escalation
191(14)
Pierre Lescanne
Coalgebras with Symmetries and Modelling Quantum Systems
205(15)
Daniel Marsden
From Operational Chu Duality to Coalgebraic Quantum Symmetry
220(16)
Yoshihiro Maruyama
Noninterfering Schedulers: When Possibilistic Noninterference Implies Probabilistic Noninterference
236(17)
Andrei Popescu
Johannes Holzl
Tobias Nipkow
Simulations and Bisimulations for Coalgebraic. Modal Logics
253(14)
Daniel Gorin
Lutz Schroder
A Coalgebraic View of ε-Transitions
267(15)
Alexandra Silva
Bram Westerbaan
Nets, Relations and Linking Diagrams
282(17)
Pawel Sobocinski
A Logic-Programming Semantics of Services
299(15)
Ionut Tutu
Jose Luiz Fiadeiro
CALCO-Tools Workshop
Preface to CALCO-Tools
314(1)
Lutz Schroder
Checking Conservativity with Hets
315(7)
Mihai Codescu
Till Mossakowski
Christian Maeder
The HI-Maude Tool
322(6)
Muhammad Fadlisyah
Peter Csaba Olveczky
Constructor-Based Inductive Theorem Prover
328(6)
Daniel Gaina
Min Zhang
Yuki Chiba
Yasuhito Arimoto
A Timed CTL Model Checker for Real-Time Maude
334(6)
Daniela Lepri
Erika Abraham
Peter Csaba Olveczky
Hybridisation at Work
340(6)
Renato Neves
Alexandre Madeira
Manuel A. Martins
Luis S. Barbosa
Penrose: Putting Compositionality to Work for Petri Net Reachability
346(7)
Pawel Sobocinski
Owen Stephens
QStream: A Suite of Streams
353(6)
Joost Winter
Author Index 359
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97836424020672e.html
Märksõnad: