Sciweavers

31686 search results - page 175 / 6338
» Resource typing in Guru
Sort
View
JOT
2007
65views more  JOT 2007»
13 years 9 months ago
A Formal Type System for Java
Mourad Debbabi, M. Fourati
JSAT
2007
95views more  JSAT 2007»
13 years 9 months ago
An Abstract Decision Procedure for a Theory of Inductive Data Types
Clark Barrett, Igor Shikanian, Cesare Tinelli
ARSCOM
2004
54views more  ARSCOM 2004»
13 years 9 months ago
Orthogonal Designs of Kharaghani Type: II
Christos Koukouvinos, Jennifer Seberry
COMBINATORICS
2004
73views more  COMBINATORICS 2004»
13 years 9 months ago
Minuscule Heaps over Dynkin Diagrams of Type A~
Manabu Hagiwara
ADCM
2000
85views more  ADCM 2000»
13 years 9 months ago
Construction of Runge-Kutta methods of Crouch-Grossman type of high order
Zdzislaw Jackiewicz, Arne Marthinsen, Brynjulf Owr...