Search Sciweavers | Sciweavers

5510 search results - page 29 / 1102

» Mathematics

116

click to vote

TCOS
2008

257views Computer Science» more TCOS 2008»

On Contemporary Denotational Mathematics for Computational Intelligence

14 years 9 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 »

click to vote

CALCO
2007
Springer

91views Mathematics» more CALCO 2007»

Symmetry and Concurrency

15 years 3 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 3 months ago

Download www.cl.cam.ac.uk

Johan Glimming

claim paper

Read More »

click to vote

CALCO
2007
Springer

146views Mathematics» more CALCO 2007»

Deriving Bisimulation Congruences with Borrowed Contexts

15 years 3 months ago

Download www.ii.uib.no

Barbara König

claim paper

Read More »

click to vote

CALCO
2007
Springer

87views Mathematics» more CALCO 2007»

Observing Distributed Computation. A Dynamic-Epistemic Approach

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers