The recursive path and polynomial ordering for first-order and higher-order terms

By Bofill Miquel   Borralleras Cristina   Rodrguez-Carbonell Enric   Rubio Albert  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 263-305

Oxford University Press

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 Affine Invariants as Approximate Perspective Invariants

By Cheng Y.  

Computer Vision and Image Understanding, Vol. 63, Iss. 2, 1996-03 ,pp. : 197-207

Academic Press

Access to resources Recommend Favorite

Tile invariants: new horizons

By Pak I.  

Theoretical Computer Science, Vol. 303, Iss. 2, 2003-07 ,pp. : 303-331

Elsevier

Access to resources Recommend Favorite

Automatic maintenance of association invariants

By Welch James  

Software and Systems Modeling (SoSyM), Vol. 7, Iss. 3, 2008-07 ,pp. : 287-301

Springer Publishing Company

Access to resources Recommend Favorite