Sciweavers

15783 search results - page 22 / 3157
» Evidence-Based Software Engineering
Sort
View
APPML
2011
15 years 29 days ago
Improved intermediate asymptotics for the heat equation
Jean-Philippe Bartier, Adrien Blanchet, Jean Dolbe...
AMAST
2010
Springer
15 years 29 days ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
AMAST
2010
Springer
15 years 29 days ago
Program Calculation in Coq
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Fr&...