EXPTIME tableaux for the coalgebraic µ- calculus (2009)

Cached

Download Links

by Corina Cîrstea , Clemens Kupke , Dirk Pattinson
Venue:Proc. CSL 2009, volume 5771 of Lecture Notes in Computer Science
Citations:5 - 3 self