Search Sciweavers | Sciweavers

852 search results - page 29 / 171

» entcs 2010

click to vote

ENTCS
1998

60views more ENTCS 1998»

Semantics, modularity, and rewriting logic

14 years 10 months ago

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

click to vote

ENTCS
1998

58views more ENTCS 1998»

Relators and Metric Bisimulations

14 years 10 months ago

Download homepages.cwi.nl

Jan J. M. M. Rutten

claim paper

Read More »

click to vote

ENTCS
2008

120views more ENTCS 2008»

Characterizing Computable Analysis with Differential Equations

14 years 10 months ago

Download www.math.ist.utl.pt

Manuel Lameiras Campagnolo, Kerry Ojakian

claim paper

Read More »

click to vote

ENTCS
2008

78views more ENTCS 2008»

Pre-Galois Connection on Coalgebras for Generic Component Refinement

14 years 9 months ago

Download homepages.cwi.nl

Meng Sun

claim paper

Read More »

Voted

ENTCS
2010

82views more ENTCS 2010»

Reversible Computation and Reversible Programming Languages

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers