Ana Pasztor和Richard Statman：omega-Sups下的Scott归纳与终结。（1986年） 期刊/tcs/PasztorS86 10.1016/0304-3975(86)90179-9 斯科特归纳和奥米加总结。 2 阿娜·帕兹托 1 理查德·斯塔特曼 2 251-263 西奥。计算。科学。 西奥。计算。科学。 43 1986 dblp记录“journals/tcs/PasztorS86”的RDF数据的出处信息 2021-02-17T22:01:27+0100