×
作者ID: bijlsma.alex公司“Bijlsma,Alex”最近发表的zbMATH文章
发布方式: A.Bijlsma。;亚历克斯·比伊斯玛
已编制索引的文档: 17出版物自1975年以来,包括1本书
审查活动: 25条评论
合著者: 7合著者具有5联合出版物
5位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

10出版物有被引用19中的次15文件 引用人 年份
WP语义中过程的严格证明规则。 兹比尔0647.68017
A.Bijlsma。;马修斯,P.A。;威尔廷克,J.G。
4
1989
Franklin-Schneider定理的椭圆模拟。 Zbl 0447.10034号
亚历克斯·比伊斯玛
1980
关于a、b和asup(b)的同时近似。 Zbl 0355.10025号
A.Bijlsma。
1977
使用过程调用进行计算。 Zbl 0791.68105号
A.Bijlsma。
2
1993
超越数论中的同时逼近。 Zbl 0414.10029号
A.Bijlsma。
2
1978
准布尔等价。 Zbl 0776.68078号
A.Bijlsma。
1
1993
过程调用的Gries和Martin证明规则的等效性。 Zbl 0577.68019号
A.Bijlsma。;威尔廷克,J.G。;马修斯,P.A。
1
1986
依赖关系的无度界限。 Zbl 0484.10022号
A.Bijlsma。;Cijsouw,P.L。
1
1981
阿贝尔函数代数点坐标的同时逼近。 Zbl 0509.10023号
A.Bijlsma。
1
1982
用指针计算。 Zbl 0679.68010号
A.Bijlsma。
1
1989
使用过程调用进行计算。 Zbl 0791.68105号
A.Bijlsma。
2
1993
准布尔等价。 兹比尔0776.68078
A.Bijlsma。
1
1993
WP语义中过程的一个清晰的证明规则。 Zbl 0647.68017号
A.Bijlsma。;马修斯,P.A。;威尔廷克,J.G。
4
1989
用指针计算。 Zbl 0679.68010号
A.Bijlsma。
1
1989
过程调用的Gries和Martin证明规则的等效性。 Zbl 0577.68019号
A.Bijlsma。;威尔廷克,J.G。;马修斯,P.A。
1
1986
阿贝尔函数代数点坐标的同时逼近。 Zbl 0509.10023号
A.Bijlsma。
1
1982
依赖关系的无度界限。 Zbl 0484.10022号
A.Bijlsma。;Cijsouw,P.L。
1
1981
Franklin-Schneider定理的椭圆模拟。 Zbl 0447.10034号
亚历克斯·比伊斯玛
1980
超越数论中的同时逼近。 Zbl 0414.10029号
A.Bijlsma。
2
1978
关于a、b和asup(b)的同时近似。 Zbl 0355.10025号
A.Bijlsma。
1977

按年份列出的引文