Apr, 2022

重新审视抽象论证中的初始集合

TL;DR本研究通过迭代选择初始集,对非空最小可接受集合(initial sets)的结构提供了新的洞察和简单的非确定性构造原则,并将很多现有的可接受性语义通过该构造原则予以解释;同时,研究了与initial sets相关的某些计算复杂性问题。