MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A de Bruijn Notation for Higher-Order Rewriting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • A de Bruijn notation for higher-order rewriting (Extended Abstract)  
  • by Eduardo Bonelli, Delia Kesner, Alejandro Ríos — 2000 — In Proceedings of the 11th International Conference on Rewriting Techniques and Applications (RTA'00
  • …A de Bruijn notation for higher-order rewriting (Extended Abstract) Eduardo Bonelli 1;2 , Delia…
  • Add To MetaCart
  • A de Bruijn notation for higher-order rewriting  
  • by Eduardo Bonelli, Delia Kesner, Alejandro Ríos — 2000 — In Proceedings of the 11th International Conference on Rewriting Techniques and Applications (RTA'00
  • …A de Bruijn notation for higher-order rewriting Eduardo Bonelli 1;2 , Delia Kesner 2…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB