Sciweavers

18 search results - page 1 / 4

» logcom 2008

76

LOGCOM
2008

72views more LOGCOM 2008»

Editorial and call for papers

14 years 10 months ago

Editorial and call for papers

Download www.csr.co.ua

Heinrich Wansing

claim paper

Read More »

67

LOGCOM
2008

79views more LOGCOM 2008»

General Models and Completeness of First-Order Modal µ-calculus

14 years 10 months ago

General Models and Completeness of First-Order Modal µ-calculus

Download dspace.wul.waseda.ac.jp

Ryo Kashima, Keishi Okamoto

claim paper

Read More »

67

LOGCOM
2008

102views more LOGCOM 2008»

An Axiomatic Characterization of Ensconcement-Based Contraction

14 years 10 months ago

An Axiomatic Characterization of Ensconcement-Based Contraction

Download dme.uma.pt

Eduardo Fermé, Martín Krevneris, Mau...

claim paper

Read More »

67

LOGCOM
2008

60views more LOGCOM 2008»

Monotonic and Downward Closed Games

14 years 10 months ago

Monotonic and Downward Closed Games

Download user.it.uu.se

In an earlier work [Abdulla et al. (2000, Information and Computation, 160, 109

Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Ors...

claim paper

Read More »

71

LOGCOM
2008

110views more LOGCOM 2008»

On Algebras with Iteration

14 years 10 months ago

On Algebras with Iteration

Download www.iti.cs.tu-bs.de

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

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »