Works matching Linear substitutions


Results: 508
    1
    2
    3

    Linear explicit substitutions.

    Published in:
    Logic Journal of the IGPL, 2000, v. 8, n. 1, p. 7, doi. 10.1093/jigpal/8.1.7
    By:
    • Ghani, N;
    • de Paiva, V;
    • Ritter, E
    Publication type:
    Article
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41

    Depth-Optimized Convexity Cuts.

    Published in:
    Annals of Operations Research, 2005, v. 139, n. 1-4, p. 95, doi. 10.1007/s10479-005-3445-y
    By:
    • Eckstein, Jonathan;
    • Nediak, Mikhail
    Publication type:
    Article
    42
    43
    44
    45
    46
    47
    48
    49
    50