Cited By
View all- Fairweather EFernández M(2018)Typed Nominal RewritingACM Transactions on Computational Logic (TOCL)10.1145/316155819:1(1-46)Online publication date: 8-Feb-2018
- Jouannaud JRubio A(2015)Normal Higher-Order TerminationACM Transactions on Computational Logic10.1145/269991316:2(1-38)Online publication date: 9-Mar-2015
- Brauner PHoutmann CKirchner C(2007)Superdeduction at workRewriting Computation and Proof10.5555/2391276.2391285(132-166)Online publication date: 1-Jan-2007
- Show More Cited By