Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642037405, 9783642037412
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complete Iterativity for Algebras with Effects

2009 ◽  
pp. 34-48 ◽  
Author(s):  
Stefan Milius ◽  
Thorsten Palm ◽  
Daniel Schwencke

Constraint-Muse: A Soft-Constraint Based System for Music Therapy

2009 ◽  
pp. 423-432 ◽  
Author(s):  
Matthias Hölzl ◽  
Grit Denker ◽  
Max Meier ◽  
Martin Wirsing
Keyword(s):  
Music Therapy ◽  
Soft Constraint

Views on Behaviour Protocols and Their Semantic Foundation

2009 ◽  
pp. 367-382 ◽  
Author(s):  
Sebastian S. Bauer ◽  
Rolf Hennicker

Free Heyting Algebras: Revisited

2009 ◽  
pp. 251-266 ◽  
Author(s):  
Nick Bezhanishvili ◽  
Mai Gehrke
Keyword(s):  
Heyting Algebras

Coalgebraic Symbolic Semantics

2009 ◽  
pp. 173-190 ◽  
Author(s):  
Filippo Bonchi ◽  
Ugo Montanari

scholarly journals Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

2009 ◽  
pp. 383-397 ◽  
Author(s):  
Fernando Orejas ◽  
Esther Guerra ◽  
Juan de Lara ◽  
Hartmut Ehrig
Keyword(s):  
Model Transformation

scholarly journals DBtk: A Toolkit for Directed Bigraphs

2009 ◽  
pp. 413-422 ◽  
Author(s):  
Giorgio Bacci ◽  
Davide Grohmann ◽  
Marino Miculan

scholarly journals Traces, Executions and Schedulers, Coalgebraically

2009 ◽  
pp. 206-220 ◽  
Author(s):  
Bart Jacobs ◽  
Ana Sokolova
Load More ...
Sign in / Sign up

Export Citation Format

Share Document