×
作者ID: 戈德列夫斯基.a-b最近由“Godlevsky,A.B.”撰写的zbMATH文章
发布日期: 戈德列夫斯基,A.B。戈德列夫斯基,A.B。戈德列夫斯基,A.B。
已编制索引的文档: 19出版物自1973年以来
合著者: 14合著者具有14联合出版物
157位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

9出版物有被引用18中的次16文件 引用人 年份
程序分析的迭代方法。 Zbl 0800.68546号
戈德列夫斯基,A.B。Yu Kapitonova。五、。克里沃伊,S.L。莱蒂切夫斯基,A。
5
1989
在秩单位的非退化基础上,程序模式函数等价于具有多维磁带的自动机等价的可约性。 兹比尔0459.68020
戈德列夫斯基,A.B。莱蒂切夫斯基,A。Shukuryan,S.K。
1980
VRS系统的谓词变换器的属性。 Zbl 1288.68167号
莱蒂切夫斯基(A.A.Letichevsky)。戈德列夫斯基,A.B。A.A.jun Letychevsky。波提延科,S.V。佩沙连科,V.S。
2010
程序分析等式和不等式的迭代方法。 Zbl 0800.68549号
戈德列夫斯基,A.B。Yu Kapitonova。五、。克里沃伊,S.L。莱蒂切夫斯基,A。
2
1990
使用线性模型优化时间触发协议的参数。 Zbl 1117.68012号
戈德列夫斯基,A.B。Svirgunenko,S.N。
1
2006
一种构造自由群子群基的有效算法。 Zbl 0507.20002号
莱蒂切夫斯基,A。戈德列夫斯基,A.B。克里沃伊,S.L。
1
1981
将程序与APS并行。 Zbl 0925.68205号
戈德列夫斯基,A.B。多罗申科,A.E。
1
1993
简单多模式程序中的通信语义。 Zbl 0543.68014号
莱蒂切夫斯基,A。戈德列夫斯基,A.B。多罗申科,A.E。克里沃伊,S.L。
1
1983
过渡系统符号建模背景下的谓词变换器。 Zbl 1288.68163号
戈德列夫斯基,A.B。
1
2010
VRS系统的谓词变换器的属性。 Zbl 1288.68167号
莱蒂切夫斯基(A.A.Letichevsky)。戈德列夫斯基,A.B。A.A.jun Letychevsky。波蒂延科,S.V。佩沙连科,V.S。
2010
过渡系统符号建模背景下的谓词变换器。 Zbl 1288.68163号
戈德列夫斯基,A.B。
1
2010
使用线性模型优化时间触发协议的参数。 Zbl 1117.68012号
戈德列夫斯基,A.B。Svirgunenko,S.N。
1
2006
将程序与APS并行。 Zbl 0925.68205号
戈德列夫斯基,A.B。多罗申科,A.E。
1
1993
程序分析等式和不等式的迭代方法。 Zbl 0800.68549号
戈德列夫斯基,A.B。Yu Kapitonova。五、。克里沃伊,S.L。莱蒂切夫斯基,A。
2
1990
程序分析的迭代方法。 Zbl 0800.68546号
戈德列夫斯基,A.B。Yu Kapitonova。五、。克里沃伊,S.L。莱蒂切夫斯基,A。
5
1989
简单多模式程序中的通信语义。 Zbl 0543.68014号
莱蒂切夫斯基,A。戈德列夫斯基,A.B。多罗申科,A.E。克里沃伊,S.L。
1
1983
一种构造自由群子群基的有效算法。 Zbl 0507.20002号
莱蒂切夫斯基,A。戈德列夫斯基,A.B。克里沃伊,S.L。
1
1981
在秩单位的非退化基础上,程序模式函数等价于具有多维磁带的自动机等价的可约性。 Zbl 0459.68020号
戈德列夫斯基,A.B。莱蒂切夫斯基,A。Shukuryan,S.K。
1980

按年份列出的引文