mvermaat's infinitary-rewriting [3 articles]
Recent papers added to mvermaat's library classified by the tag infinitary-rewriting. You can also see everyone's infinitary-rewriting.
Note: You may cite this page as: http://www.citeulike.org/user/mvermaat/tag/infinitary-rewriting