Gröbner Bases for Ideals in Laurent Polynomial Rings and their Application to Systems of Difference Equations Franz PauerAndreas Unterkircher Pages: 271 - 291
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case Agostino DovierEugenio G. OmodeoAlberto Policriti Pages: 293 - 332
λCalculi with Explicit Substitutions Preserving Strong Normalization Maria C. F. FerreiraDelia KesnerLaurence Puel Pages: 333 - 371