Searching for "Tableau Systems for Logics of Subinterval Structures over Dense Orderings." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Tableau systems for logics of subinterval structures
by Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
…Tableau systems for logics of subinterval structures over dense orderings Davide Bresolin 1…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB