Transformations and confluence for rewrite systems

By Verma R.M.  

Theoretical Computer Science, Vol. 152, Iss. 2, 1995-12 ,pp. : 269-283

Elsevier

Access to resources Recommend Favorite

On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems

By Gramlich B.  

Theoretical Computer Science, Vol. 165, Iss. 1, 1996-09 ,pp. : 97-131

Elsevier

Access to resources Recommend Favorite

Rewrite orderings for higher-order terms in -long -normal form and the recursive path ordering

By Jouannaud J.-P.   Rubio A.  

Theoretical Computer Science, Vol. 208, Iss. 1, 1998-11 ,pp. : 33-58

Elsevier

Access to resources Recommend Favorite

Analysis of Nonlinear Discrete-Time Systems with Higher-Order Iterative Learning Control

By Sun M.  

Dynamics and Control, Vol. 11, Iss. 1, 2001-01 ,pp. : 81-96

Springer Publishing Company

Access to resources Recommend Favorite

Intersection type assignment systems with higher-order algebraic rewriting

By Barbanera F.   Fernandez M.  

Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. : 173-207

Elsevier

Access to resources Recommend Favorite