Search Sciweavers | Sciweavers

18429 search results - page 384 / 3686

» Typing dynamic typing

104

Voted

IJBC
2002

60views more IJBC 2002»

Optimum Correlator-Type Receiver Design for CSK Communication Systems

15 years 6 months ago

Download www.eie.polyu.edu.hk

Francis C. M. Lau, Chi Kong Tse

claim paper

Read More »

189

click to vote

SIAMJO
2000

69views more SIAMJO 2000»

A Truly Globally Convergent Newton-Type Method for the Monotone Nonlinear Complementarity Problem

15 years 6 months ago

Download pages.cs.wisc.edu

Abstract. The Josephy

Mikhail V. Solodov, Benar Fux Svaiter

claim paper

Read More »

124

click to vote

ACTA
1998

64views more ACTA 1998»

Converting Untyped Formulas to Typed Ones

15 years 6 months ago

Download uhdspace.uhasselt.be

We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...

Jan Van den Bussche, Luca Cabibbo

claim paper

Read More »

124

click to vote

CN
1998

96views more CN 1998»

Effective Personalization of Push-Type Systems - Visualizing Information Freshness

15 years 6 months ago

Download www.jos.org.cn

Hidekazu Sakagami, Tomonari Kamba, Atsushi Sugiura...

claim paper

Read More »

154

click to vote

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers