Cited By
View all- Gnaedig IKirchner H(2007)Narrowing, abstraction and constraints for proving properties of reduction relationsRewriting Computation and Proof10.5555/2391276.2391280(44-67)Online publication date: 1-Jan-2007
- Ayala-Rincón MLlanos CJacobi RHartenstein R(2006)Prototyping time- and space-efficient computations of algebraic operations over dynamically reconfigurable systems modeled by rewriting-logicACM Transactions on Design Automation of Electronic Systems10.1145/1142155.114215611:2(251-281)Online publication date: 1-Apr-2006
- Ayala-Rincón MJacobi RCarvalho LLlanos CHartenstein RNatividade da Silva Barros EWagner FCarro LRammig F(2004)Modeling and prototyping dynamically reconfigurable systems for efficient computation of dynamic programming methods by rewriting-logicProceedings of the 17th symposium on Integrated circuits and system design10.1145/1016568.1016634(248-253)Online publication date: 4-Sep-2004