Sciweavers

18 search results - page 1 / 4

» logcom 2008

12

LOGCOM
2008

72views more LOGCOM 2008»

Editorial and call for papers

13 years 4 months ago

Editorial and call for papers

Download www.csr.co.ua

Heinrich Wansing

claim paper

Read More »

10

LOGCOM
2008

79views more LOGCOM 2008»

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

13 years 4 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 »

11

LOGCOM
2008

102views more LOGCOM 2008»

An Axiomatic Characterization of Ensconcement-Based Contraction

13 years 4 months ago

An Axiomatic Characterization of Ensconcement-Based Contraction

Download dme.uma.pt

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

claim paper

Read More »

11

LOGCOM
2008

60views more LOGCOM 2008»

Monotonic and Downward Closed Games

13 years 4 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 »

10

LOGCOM
2008

110views more LOGCOM 2008»

On Algebras with Iteration

13 years 4 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 »