Login / Signup

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

Guozhu DongLouxin Zhang
Published in: Int. J. Found. Comput. Sci. (2000)
Keyphrases