Interpolation with Decidable Fixpoint Logics

Michael Benedikt‚ Balder ten Cate and Michael Vanden Boom

Book Title

30th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2015‚ Kyoto‚ Japan‚ July 6−10‚ 2015

Pages

378–389

Year

2015

Links