 | ftp://ftp.epfl.ch/pub/di/lith/tech-reports/tr-099.ps.gz, 19940629
EIDGEN SSISCHE TECHNISCHE HOCHSCHULE LAUSANNE POLITECNICO FEDERALE DI LOSANNA SWISS FEDERAL INSTITUTE OF TECHNOLOGY LAUSANNE DEPARTMENT OF COMPUTER SCIENCE COMPUTER SCIENCE THEORY LABORATORY COLEPOLYTECHNIQUEF D RALEDELAUSANNE Evaluation des Performances de l'Algorithme SSS* avec Phases de |
| ftp://ftp.epfl.ch/pub/di/lith/tech-reports/tr-097.ps.gz, 19940629
EIDGEN OSSISCHE TECHNISCHE HOCHSCHULE LAUSANNE POLITECNICO FEDERALE DI LOSANNA SWISS FEDERAL INSTITUTE OF TECHNOLOGY LAUSANNE DEPARTMENT OF COMPUTER SCIENCE COMPUTER SCIENCE THEORY LABORATORY COLEPOLYTECHNIQUEF D RALEDELAUSANNE An Efficient Algorithm for Solving the Token Distribution Problem on k-ary |
| ftp://ftp.epfl.ch/pub/di/lith/tech-reports/tr-100.ps.gz, 19940629
EIDGEN OSSISCHE TECHNISCHE HOCHSCHULE LAUSANNE POLITECNICO FEDERALE DI LOSANNA SWISS FEDERAL INSTITUTE OF TECHNOLOGY LAUSANNE DEPARTMENT OF COMPUTER SCIENCE COMPUTER SCIENCE THEORY LABORATORY COLEPOLYTECHNIQUEF D RALEDELAUSANNE A Survey on Minimax Trees and Associated Algorithms Claude G. Diderich and |
| ftp://ftp.epfl.ch/pub/di/lith/tech-reports/cat.ps.gz, 19950228
Categorical Semantics of First-Order Functional Type Theories Krzysztof Worytkiewicz February 28, 1995 |
| ftp://ftp.epfl.ch/pub/di/lith/tech-reports/tr-101.ps.gz, 19950303
EIDGEN SSISCHE TECHNISCHE HOCHSCHULE >= LAUSANNE POLITECNICO FEDERALE >= LOSANNA SWISS FEDERAL INSTITUTE OF TECHNOLOGY >= LAUSANNE COMPUTER SCIENCE DEPARTMENT COMPUTER SCIENCE THEORY LABORATORY COLEPOLYTECHNIQUEF D RALEDELAUSANNE Experiments with a Parallel Synchronized Branch and Bound Algorithm Claude |
| ftp://ftp.epfl.ch/pub/di/lith/tech-reports/tr-098.ps.gz, 19950615
EIDGEN SSISCHE TECHNISCHE HOCHSCHULE >= LAUSANNE POLITECNICO FEDERALE >= LOSANNA SWISS FEDERAL INSTITUTE OF TECHNOLOGY >= LAUSANNE COMPUTER SCIENCE DEPARTMENT COMPUTER SCIENCE THEORY LABORATORY COLEPOLYTECHNIQUEF D RALEDELAUSANNE A Bibliography on Minimax Trees Claude G. Diderich Swiss Federal Institute |
