Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices.

Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Panos Rondogiannis

Browse the full KR paper archive.