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 条

[21] Average-case analysis of rectangle packings
Coffman, EG
Lueker, GS
Spencer, J
Winkler, PM
LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 292 - 297
[22] Average-case analysis via incompressibility
Li, M
Vitányi, P
FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 38 - 50
[23] Average-case analysis of algorithms - Preface
Prodinger, H
Szpankowski, W
ALGORITHMICA, 2001, 29 (1-2) : 1 - 2
[24] ANALYSIS OF AN EFFICIENT DISTRIBUTED ALGORITHM FOR MUTUAL EXCLUSION (AVERAGE-CASE ANALYSIS OF PATH REVERSAL)
LAVAULT, C
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 634 : 133 - 144
[25] Average-Case Analysis of the Double Description Method and the Beneath-Beyond Algorithm
Karl Heinz Borgwardt
Discrete & Computational Geometry, 2007, 37 : 175 - 204
[26] Average-case analysis of the double description method and the beneath-beyond algorithm
Borgwardt, Karl Heinz
DISCRETE & COMPUTATIONAL GEOMETRY, 2007, 37 (02) : 175 - 204
[27] MULTIDIMENSIONAL ONLINE BIN-PACKING - AN ALGORITHM AND ITS AVERAGE-CASE ANALYSIS
CHANG, EC
WANG, WG
KANKANHALLI, MS
INFORMATION PROCESSING LETTERS, 1993, 48 (03) : 121 - 125
[28] Average-case analysis of online topological ordering
Ajwani, Deepak
Friedrich, Tobias
ALGORITHMS AND COMPUTATION, 2007, 4835 : 464 - +
[29] Generating words lexicographically: An average-case analysis
Acta Inf, 1 (17):
[30] Average-case analysis of approximate trie search
Maass, Moritz G.
ALGORITHMICA, 2006, 46 (3-4) : 469 - 491

← 1 2 3 4 5 →