A Superexponential Lower Bound for Gröbner Bases and Church-Rosser Commutative Thue Systems

Dung T. Huynh. A Superexponential Lower Bound for Gröbner Bases and Church-Rosser Commutative Thue Systems. Inf. Comput., 68(1-3):196-206, January/February/March 1986.

Abstract

Abstract is missing.