Layered fixed point logic

Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson. Layered fixed point logic. In Danny De Schreye, Gerda Janssens, Andy King, editors, Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. pages 45-54, ACM, 2012. [doi]

No reviews for this publication, yet.