Sciweavers

852 search results - page 29 / 171
» entcs 2010
Sort
View
94
Voted
ENTCS
1998
60views more  ENTCS 1998»
15 years 4 days ago
Semantics, modularity, and rewriting logic
Peter D. Mosses
74
Voted
ENTCS
1998
58views more  ENTCS 1998»
15 years 4 days ago
Relators and Metric Bisimulations
Jan J. M. M. Rutten
95
Voted
ENTCS
2008
120views more  ENTCS 2008»
15 years 5 min ago
Characterizing Computable Analysis with Differential Equations
Manuel Lameiras Campagnolo, Kerry Ojakian
92
Voted
ENTCS
2010
82views more  ENTCS 2010»
14 years 9 months ago
Reversible Computation and Reversible Programming Languages
Tetsuo Yokoyama