Sciweavers

2008 search results - page 15 / 402
» Computing with Equations
Sort
View
112
Voted
STACS
2009
Springer
15 years 11 months ago
Equations over Sets of Natural Numbers with Addition Only
Artur Jez, Alexander Okhotin
83
Voted
BIRTHDAY
2005
Springer
15 years 10 months ago
Specifying, Programming and Verifying with Equational Logic
Joseph A. Goguen, Kai Lin
89
Voted
IMR
2005
Springer
15 years 10 months ago
Automatic Near-Body Domain Decomposition Using the Eikonal Equation
Yuanli Wang, François Guibault, Ricardo Cam...