An Effective Tableau System for the Linear Time µ-Calculus.

Julian C. Bradfield Javier Esparza Angelika Mader

Published in: ICALP (1996)

Keyphrases

database
data sets
social networks
website
worst case
description logics
computationally efficient
cost effective