Sciweavers

74 search results - page 6 / 15
» Algebras Versus Coalgebras
Sort
View
ACMMPC
2000
Springer
240views Mathematics» more  ACMMPC 2000»
15 years 1 months ago
Algebras and Coalgebras
Peter Aczel
ENTCS
2010
88views more  ENTCS 2010»
14 years 9 months ago
On Coalgebras over Algebras
Adriana Balan, Alexander Kurz
MFCS
1997
Springer
15 years 1 months ago
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...