Sciweavers

2008 search results - page 17 / 402
» Computing with Equations
Sort
View
96
Voted
DAC
1992
ACM
15 years 6 months ago
Recurrence Equations and the Optimization of Synchronous Logic Circuits
Maurizio Damiani, Giovanni De Micheli
IWWERT
1991
15 years 6 months ago
Word Equations with Two Variables
Witold Charatonik, Leszek Pacholski
CTRS
1987
15 years 6 months ago
Solving Goals in Equational Languages
Nachum Dershowitz, G. Sivakumar