Sciweavers

5510 search results - page 6 / 1102

» Mathematics

13

ISSAC
1989
Springer

55views Mathematics» more ISSAC 1989»

On the Computer Solution of Symmetric Homogeneous Triangle Inequalities

14 years 2 months ago

On the Computer Solution of Symmetric Homogeneous Triangle Inequalities

Download www.mathpropress.com

S. Rabinowitz

claim paper

Read More »

26

MPC
1989
Springer

85views Mathematics» more MPC 1989»

Transformational Programming and Forests

14 years 2 months ago

Transformational Programming and Forests

Download www.open.ou.nl

A. Bijlsma

claim paper

Read More »

33

MPC
2010
Springer

156views Mathematics» more MPC 2010»

Compositionality of Secure Information Flow

14 years 2 months ago

Compositionality of Secure Information Flow

Download mpc-amast2010.fsg.ulaval.ca

Catuscia Palamidessi

claim paper

Read More »

31

ITP
2010

139views Mathematics» more ITP 2010»

Validating QBF Invalidity in HOL4

14 years 2 months ago

Validating QBF Invalidity in HOL4

Download www.cl.cam.ac.uk

Tjark Weber

claim paper

Read More »

36

ISSAC
2000
Springer

122views Mathematics» more ISSAC 2000»

Linear differential equations, iterative logarithms and orderings on monomial differential extensions

14 years 2 months ago

Linear differential equations, iterative logarithms and orderings on monomial differential extensions

Download www.lix.polytechnique.fr

Anne Fredet

claim paper

Read More »

« Prev « First page 6 / 1102 Last » Next »