@dblp

On Well-Founded Set-Inductions and Locally Monotone Operators.

, , and . ACM Trans. Comput. Log., 17 (4): 27 (2016)

Links and resources

Tags