瓦伦丁·戈兰科;安蒂·库西斯托;雷恩·Rönnholm 合理协调,没有沟通或约定。 (英语) Zbl 1534.91038号 J.日志。计算。 30,第6期,1183-1211(2020).MSC公司:91A26型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人,J.Log。计算。30,第6号,1183-1211(2020;Zbl 1534.91038) 全文: 内政部 arXiv公司
大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;萨拉,彼得罗 稠密序上子区间结构的逻辑表。 (英语) Zbl 1188.03009号 J.日志。计算。 20,第1期,133-166(2010). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B35型 03B25号 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,J.Log。计算。20,编号1,133--166(2010;Zbl 1188.03009) 全文: 内政部
威廉·康雷迪;瓦伦丁·戈兰科;迪米特·瓦卡雷洛夫 模态逻辑中的算法对应性和完备性。二: 算法SQEMA的多元和混合扩展。 (英语) 兹比尔1128.03005 J.日志。计算。 16,第5号,579-612(2006).MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,J.Log。计算。16,第5号,579--612(2006;Zbl 1128.03005) 全文: 内政部 arXiv公司
瓦伦丁·戈兰科;迪米特·瓦卡雷洛夫 混合多元模态逻辑中的Sahlqvist公式。 (英语) Zbl 0993.03013号 J.日志。计算。 11,第5期,737-754(2001). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{D.Vakarelov},J.Log。计算。11,第5号,737--754(2001;Zbl 0993.03013) 全文: 内政部
瓦伦丁·戈兰科;所罗门·帕西 使用通用形式:收获和问题。 (英语) Zbl 0774.03003号 J.日志。计算。 第2期,第1期,5-30页(1992年). 审核人:S.Miura(冈崎/爱知) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{S.Passy},J.Log。计算。2,编号1,5--30(1992;Zbl 0774.03003) 全文: 内政部 链接