Sciweavers

3 search results - page 1 / 1

» relmics 1998

14

RELMICS
1998
Springer

85views Theoretical Computer Science» more RELMICS 1998»

Modal and temporal operators on partial orders

13 years 10 months ago

Modal and temporal operators on partial orders

Download www.informatik.uni-augsburg.de

Bernhard Möller

claim paper

Read More »

11

RELMICS
1998
Springer

78views Theoretical Computer Science» more RELMICS 1998»

Towards a uniform relational semantics for tabular expressions

13 years 10 months ago

Towards a uniform relational semantics for tabular expressions

Download www.cis.njit.edu

Jules Desharnais, Ridha Khédri, Ali Mili

claim paper

Read More »

26

RELMICS
1998
Springer

135views Theoretical Computer Science» more RELMICS 1998»

Coping with semilattices of relations in logics with relative accessibility relations

13 years 10 months ago

Coping with semilattices of relations in logics with relative accessibility relations

Download www.lsv.ens-cachan.fr

We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...

Stéphane Demri

claim paper

Read More »

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