Sciweavers

18429 search results - page 379 / 3686
» Typing dynamic typing
Sort
View
JSAT
2007
95views more  JSAT 2007»
15 years 6 months ago
An Abstract Decision Procedure for a Theory of Inductive Data Types
Clark Barrett, Igor Shikanian, Cesare Tinelli
ANOR
2004
208views more  ANOR 2004»
15 years 6 months ago
Airline Crew Rostering: Problem Types, Modeling, and Optimization
Airline crew rostering is an important part of airline operations and an interesting problem for the application of operations research. The objective is to assign anonymous crew p...
Niklas Kohl, Stefan E. Karisch
ARSCOM
2004
54views more  ARSCOM 2004»
15 years 6 months ago
Orthogonal Designs of Kharaghani Type: II
Christos Koukouvinos, Jennifer Seberry
COMBINATORICS
2004
73views more  COMBINATORICS 2004»
15 years 6 months ago
Minuscule Heaps over Dynkin Diagrams of Type A~
Manabu Hagiwara