Search Sciweavers | Sciweavers

3713 search results - page 102 / 743

» Constructing a Calculus of Programs

AOSD
2004
ACM

85views Software Engineering» more AOSD 2004»

15 years 8 months ago

Jeffrey G. Gray, Suman Roychoudhury

claim paper

Read More »

click to vote

EUROGP
2003
Springer

117views Optimization» more EUROGP 2003»

15 years 8 months ago

Fernando E. B. Otero, Monique M. S. Silva, Alex Al...

claim paper

Read More »

click to vote

ARCS
2010
Springer

165views Software Engineering» more ARCS 2010»

15 years 8 months ago

Martin Schindewolf, David Kramer, Marcelo Cintra

claim paper

Read More »

click to vote

MPC
2010
Springer

164views Mathematics» more MPC 2010»

15 years 8 months ago

Rudolf Berghammer, Georg Struth

claim paper

Read More »

100

LFCS
1997
Springer

94views Artificial Intelligence» more LFCS 1997»

15 years 7 months ago

Sciweavers