蔡丽明;Chen,监狱长;罗德·唐尼;伙计们,迈克 勘误表:“参数化可牵引性建议等级”。 (英语) Zbl 1382.68083号 Ann.纯粹应用。逻辑 169,第5号,463-465(2018).MSC公司:2015年第68季度 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cai}等人,Ann.Pure Appl。逻辑169,No.5,463--465(2018;Zbl 1382.68083) 全文: DOI程序
蔡丽明;陈建尔;罗德尼·G·唐尼。;研究员Michael R。 参数化可操纵性的建议等级。 (英语) Zbl 0873.68071号 Ann.纯粹应用。逻辑 84,第1期,119-138(1997); 更正同上,169,第5号,463-465(2018)。 审核人:U.Schöning(乌尔姆) MSC公司:2015年第68季度 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cai}等人,Ann.Pure Appl。逻辑84,No.1,119--138(1997;Zbl 0873.68071) 全文: DOI程序