Search Sciweavers | Sciweavers

5510 search results - page 29 / 1102

» Mathematics

201

click to vote

TCOS
2008

257views Computer Science» more TCOS 2008»

On Contemporary Denotational Mathematics for Computational Intelligence

15 years 5 months ago

Download enel.ucalgary.ca

Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...

Yingxu Wang

claim paper

Read More »

126

click to vote

CALCO
2007
Springer

91views Mathematics» more CALCO 2007»

Symmetry and Concurrency

15 years 12 months ago

Download www.cl.cam.ac.uk

Glynn Winskel

claim paper

Read More »

click to vote

CALCO
2007
Springer

85views Mathematics» more CALCO 2007»

Parametric (Co)Iteration vs. Primitive Direcursion

15 years 12 months ago

Download www.cl.cam.ac.uk

Johan Glimming

claim paper

Read More »

141

click to vote

CALCO
2007
Springer

146views Mathematics» more CALCO 2007»

Deriving Bisimulation Congruences with Borrowed Contexts

15 years 12 months ago

Download www.ii.uib.no

Barbara König

claim paper

Read More »

118

click to vote

CALCO
2007
Springer

87views Mathematics» more CALCO 2007»

Observing Distributed Computation. A Dynamic-Epistemic Approach

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers