Sciweavers

31686 search results - page 175 / 6338

» Resource typing in Guru

68

Voted

JOT
2007

65views more JOT 2007»

A Formal Type System for Java

15 years 3 months ago

A Formal Type System for Java

Download www.jot.fm

Mourad Debbabi, M. Fourati

claim paper

Read More »

103

Voted

JSAT
2007

95views more JSAT 2007»

An Abstract Decision Procedure for a Theory of Inductive Data Types

15 years 3 months ago

An Abstract Decision Procedure for a Theory of Inductive Data Types

Download jsat.ewi.tudelft.nl

Clark Barrett, Igor Shikanian, Cesare Tinelli

claim paper

Read More »

114

Voted

ARSCOM
2004

54views more ARSCOM 2004»

Orthogonal Designs of Kharaghani Type: II

15 years 3 months ago

Orthogonal Designs of Kharaghani Type: II

Download www.uow.edu.au

Christos Koukouvinos, Jennifer Seberry

claim paper

Read More »

113

Voted

COMBINATORICS
2004

73views more COMBINATORICS 2004»

Minuscule Heaps over Dynkin Diagrams of Type A~

15 years 3 months ago

Minuscule Heaps over Dynkin Diagrams of Type A~

Download www.emis.de

Manabu Hagiwara

claim paper

Read More »

79

Voted

ADCM
2000

85views more ADCM 2000»

Construction of Runge-Kutta methods of Crouch-Grossman type of high order

15 years 3 months ago

Construction of Runge-Kutta methods of Crouch-Grossman type of high order

Download www.math.ntnu.no

Zdzislaw Jackiewicz, Arne Marthinsen, Brynjulf Owr...

claim paper

Read More »

« Prev « First page 175 / 6338 Last » Next »