650 search results - page 15 / 130 » On Coalgebras over Algebras |
MPC
2010
Springer
14 years 11 days ago
2010
Springer
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...
EOR
2006
13 years 7 months ago
2006
The properties of the barrier F(x) = -log(det(x)), defined over the cone of squares of a Euclidean Jordan algebra, are analyzed using pure algebraic techniques. Furthermore, relat...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
ACS
2010
13 years 7 months ago
2010
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel paper...
RC
2002
13 years 7 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...