Title | Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3+1)-ary Input Relations |
Publication Type | Journal Article |
Year of Publication | 2000 |
Authors | Guozhu Dong, Louxin Zhang |
Full Text | Guozhu Dong and Louxin Zhang. Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3+1)-ary Input Relations. International Journal of Foundations of Computer Science, Vol. 11, No. 4, pp 573-578, 2000. |