On Well-Founded Set-Inductions and Locally Monotone Operators

Research output: Contribution to journal › Article › peer-review

6 Citations (Scopus)

Original language	Undefined/Unknown
Journal	ACM Transactions on Computational Logic
Volume	17
Issue number	ARTN 27
DOIs	https://doi.org/10.1145/2963096
Publication status	Published - 1 Nov 2016
Externally published	Yes

Access to Document

@article{ce366cc5237e4bc1b564651e91410bb3,

title = "On Well-Founded Set-Inductions and Locally Monotone Operators",

author = "Bart Bogaerts and Joost Vennekens and Marc Denecker",

year = "2016",

month = nov,

day = "1",

doi = "10.1145/2963096",

language = "Undefined/Unknown",

volume = "17",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "ASSOC COMPUTING MACHINERY",

number = "ARTN 27",

}