Sciweavers

Share
18 search results - page 1 / 4
» logcom 2008
Sort
View
LOGCOM
2008
72views more  LOGCOM 2008»
9 years 7 months ago
Editorial and call for papers
Heinrich Wansing
LOGCOM
2008
102views more  LOGCOM 2008»
9 years 7 months ago
An Axiomatic Characterization of Ensconcement-Based Contraction
Eduardo Fermé, Martín Krevneris, Mau...
LOGCOM
2008
60views more  LOGCOM 2008»
9 years 7 months ago
Monotonic and Downward Closed Games
In an earlier work [Abdulla et al. (2000, Information and Computation, 160, 109
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Ors...
LOGCOM
2008
110views more  LOGCOM 2008»
9 years 7 months ago
On Algebras with Iteration
Abstract. Several concepts of algebras with solutions of recursive equation systems are compared: CPO-enrichable algebras are proved to be iteration algebras of Z.
Jirí Adámek, Stephen L. Bloom, Stefa...
books