Average-case analysis of Robinson's unification algorithm with two different variables

被引：0

|

作者：

机构：

[1] Casas, R.

[2] Diaz, J.

[3] Steyaert, J.M.

来源：

Casas, R. | 1600年 / 31期

关键词：

Average-Case Analysis - Complexity of Algorithms - Unification Algorithm;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

(Edited Abstract)

引用

收藏

相关论文

共 50 条

[1] AVERAGE-CASE ANALYSIS OF ROBINSON UNIFICATION ALGORITHM WITH 2 DIFFERENT VARIABLES
CASAS, R
DIAZ, J
STEYAERT, JM
INFORMATION PROCESSING LETTERS, 1989, 31 (05) : 227 - 232
[2] Average-case analysis of unification algorithms
Albert, Luc, 1600, (113):
[3] AVERAGE-CASE ANALYSIS OF UNIFICATION ALGORITHMS
ALBERT, L
CASAS, R
FAGES, F
THEORETICAL COMPUTER SCIENCE, 1993, 113 (01) : 3 - 34
[4] Average-Case Analysis for a Simple Compression Algorithm
D. Merlini
R. Sprugnoli
M. C. Verri
Algorithmica, 1998, 22 : 585 - 599
[5] An Average-Case Analysis of the Reverse Factor Algorithm
Chen, K. H.
Huang, G. S.
Lee, R. C. T.
IMCIC 2010: INTERNATIONAL MULTI-CONFERENCE ON COMPLEXITY, INFORMATICS AND CYBERNETICS, VOL I (POST-CONFERENCE EDITION), 2010, : 284 - 289
[6] Average-case analysis for a simple compression algorithm
Merlini, D
Sprugnoli, R
Verri, MC
ALGORITHMICA, 1998, 22 (04) : 585 - 599
[7] AVERAGE-CASE ANALYSIS OF THE MODIFIED HARMONIC ALGORITHM
RAMANAN, P
TSUGA, K
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 241 : 177 - 192
[8] AVERAGE-CASE ANALYSIS OF THE MODIFIED HARMONIC ALGORITHM
RAMANAN, P
TSUGA, K
ALGORITHMICA, 1989, 4 (04) : 519 - 533
[9] AN AVERAGE-CASE ANALYSIS FOR A CONTINUOUS RANDOM SEARCH ALGORITHM
PFEIFER, D
ADVANCES IN APPLIED PROBABILITY, 1985, 17 (01) : 231 - 233
[10] Average-Case Analysis of the Merging Algorithm of Hwang and Lin
W. Fernandez de la Vega
A. M. Frieze
M. Santha
Algorithmica, 1998, 22 : 483 - 489

← 1 2 3 4 5 →