Sciweavers

74 search results - page 6 / 15

» Algebras Versus Coalgebras

176

ACMMPC
2000
Springer

240views Mathematics» more ACMMPC 2000»

Algebras and Coalgebras

15 years 10 months ago

Algebras and Coalgebras

Download staff.science.uva.nl

Peter Aczel

claim paper

Read More »

126

ENTCS
2010

84views more ENTCS 2010»

Higher-order Algebras and Coalgebras from Parameterized Endofunctors

15 years 6 months ago

Higher-order Algebras and Coalgebras from Parameterized Endofunctors

Download event.cwi.nl

Jiho Kim

claim paper

Read More »

98

ENTCS
2010

88views more ENTCS 2010»

On Coalgebras over Algebras

15 years 6 months ago

On Coalgebras over Algebras

Download event.cwi.nl

Adriana Balan, Alexander Kurz

claim paper

Read More »

99

ENTCS
2010

86views more ENTCS 2010»

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map

15 years 6 months ago

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map

Download event.cwi.nl

Michael Hauhs, Baltasar Trancón-y-Widemann

claim paper

Read More »

147

MFCS
1997
Springer

107views Theoretical Computer Science» more MFCS 1997»

Integrating the Specification Techniques of Graph Transformation and Temporal Logic

15 years 10 months ago

Integrating the Specification Techniques of Graph Transformation and Temporal Logic

Download www.cs.uni-paderborn.de

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...

claim paper

Read More »

« Prev « First page 6 / 15 Last » Next »