7 search results - page 2 / 2 » Final Coalgebras from Corecursive Algebras |
78
Voted
ENTCS
2000
14 years 11 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...