Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference23 articles.
1. Term Rewriting and All That;Baader,1998
2. Bottom-up tree pushdown automata: classification and connection with rewrite systems;Coquidé;Theoretical Computer Science,1994
3. Decidable call-by-need computations in term rewriting;Durand;Information and Computation,2005
4. Bottom-up rewriting is inverse recognizability preserving;Durand,2007
5. I. Durand, G. Sénizergues, Bottom-up rewriting for words and terms, arXiv:0903.2554v1 [cs.FL].