Sciweavers

2008 search results - page 17 / 402
» Computing with Equations
Sort
View
IWWERT
1991
13 years 11 months ago
Word Equations with Two Variables
Witold Charatonik, Leszek Pacholski
CTRS
1987
13 years 11 months ago
Solving Goals in Equational Languages
Nachum Dershowitz, G. Sivakumar