共 45 条
- [1] Well-Foundedness in Weighted Argumentation Frameworks [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 69 - 84
- [2] Well-foundedness in realizability [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (07) : 795 - 805
- [5] THE WELL-FOUNDEDNESS OF THE MITCHELL ORDER [J]. JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (03) : 931 - 940
- [6] From hierarchies to well-foundedness [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2014, 53 (7-8): : 855 - 863
- [7] Invariants and Well-Foundedness in Program Algebra [J]. THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 1 - 14