Sciweavers

82

RELMICS
1998
Springer

85views Theoretical Computer Science» more RELMICS 1998»

Modal and temporal operators on partial orders

15 years 7 months ago

Modal and temporal operators on partial orders

Download www.informatik.uni-augsburg.de

Bernhard Möller

claim paper

Read More »

84

RELMICS
1998
Springer

78views Theoretical Computer Science» more RELMICS 1998»

Towards a uniform relational semantics for tabular expressions

15 years 7 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 »

126

RELMICS
1998
Springer

135views Theoretical Computer Science» more RELMICS 1998»

Coping with semilattices of relations in logics with relative accessibility relations

15 years 7 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 »