安东尼奥·布恰雷利;迪莉娅·凯斯纳;Ronchi Della Rocca,西蒙 可解决性=典型性+居住性。 (英语) Zbl 1509.03056号 日志。方法计算。科学。 17,第1号,第7号文件,第27页(2021).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}等人,日志。方法计算。科学。17,第1号,第7号论文,第27页(2021;Zbl 1509.03056) 全文: arXiv公司 链接
布奇亚雷利,A。;卡拉罗,A。;法夫罗(G.Favro)。;A.萨利布拉。 将静音lambda术语的简单集合绘制成图表。 (英语) Zbl 1432.03020号 西奥。计算。科学。 629, 51-63 (2016).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}等人,Theor。计算。科学。629、51-63(2016年;Zbl 1432.03020) 全文: 内政部