Search Sciweavers | Sciweavers

1742 search results - page 10 / 349

» An Applicative Module Calculus

click to vote

RTA
2005
Springer

95views Theoretical Computer Science» more RTA 2005»

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics

14 years 3 months ago

Download homepages.inf.ed.ac.uk

Alex K. Simpson

claim paper

Read More »

click to vote

EJC
2006

85views Information Technology» more EJC 2006»

Two oiseau decompositions of permutations and their application to Eulerian calculus

13 years 10 months ago

Download www-irma.u-strasbg.fr

: Two transformations are constructed that map the permutation group onto a well-defined subset of a partially commutative monoid generated by the so-called oiseaux. Those transfor...

Dominique Foata, Arthur Randrianarivony

claim paper

Read More »

click to vote

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

13 years 10 months ago

Download web.cs.wpi.edu

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...

claim paper

Read More »

click to vote

IJAR
2002

109views more IJAR 2002»

The application of the matrix calculus to belief functions

13 years 9 months ago

Download iridia0.ulb.ac.be

The mathematics of belief functions can be handled with the use of the matrix notation. This representation helps greatly the user thanks to its notational simplicity and its effi...

Philippe Smets

claim paper

Read More »

click to vote

JACIII
2007

84views more JACIII 2007»

Application of Fractional Calculus in the Control of Heat Systems

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers