Separating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3+1)-ary Input Relations

TitleSeparating Auxiliary Arity Hierarchy of First-Order Incremental Evaluation Using (3+1)-ary Input Relations
Publication TypeJournal Article
Year of Publication2000
AuthorsGuozhu 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.
year: 2000
publishtolibrary: True
organization: WSU-CSE
hasBookTitle: International Journal of Foundations of Computer Science