EFFICIENT SOLUTION OF LINEAR DIOPHANTINE EQUATIONS

被引：63

作者：

CLAUSEN, M

FORTENBACHER, A

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(89)80025-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：201 / 216

页数：16

共 19 条

[1]

BUTTNER W, 1987, J AUTOMATED REASONIN, V2, P75

[2]

CLAUSEN M, 1987, EFFICIENT SOLUTION L, V32

[3] ASSOCIATIVE-COMMUTATIVE UNIFICATION [J].

FAGES, F .

FORTENBACHER, A .

[5]

FORTENBACHER A, 1983, THESIS U KARLSRUHE

GREENBERG, H .

[7]

GUCKENBIEHL T, 1986, SOLVING LINEAR DIOPH

[8]

Herold A., 1987, Journal of Automated Reasoning, V3, P247, DOI 10.1007/BF00243791

HUET, G .

[10]

HUET G, 1978, IRIA274 LAB RAPP