Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Scis0000002 abstract-rewriting [3 articles]

Recent papers added to Scis0000002 library classified by the tag abstract-rewriting. You can also see everyone's abstract-rewriting.
  • An Abstract Way to Define Rewriting Logic
    Electronic Notes in Theoretical Computer Science, Vol. 159 (24 May 2006), pp. 205-226.
    by Marc Aiguier, Diane Bahrami, Delphine Longuet
    posted to abstract-rewriting by Scis0000002 on 2007-08-20 19:38:07 as ** along with 1 person margherita
  • A Survey of Abstract Rewriting
    by M Bognar
    posted to abstract-rewriting by Scis0000002 on 2007-08-20 19:35:26 as ** along with 1 person margherita
  • Structures for Abstract Rewriting
    Journal of Automated Reasoning, Vol. 38, No. 4. (May 2007), pp. 303-351.
  • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/Scis0000002/tag/abstract-rewriting

    RIS BibTeX