Works matching DE "AXIOMS"


Results: 5000
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12

    Exponential health utility.

    Published in:
    European Journal of Health Economics, 2004, v. 5, n. 4, p. 365, doi. 10.1007/s10198-004-0255-0
    By:
    • Ø;sterdal, Lars Peter
    Publication type:
    Article
    13
    14
    15
    16
    17

    Existence as first philosophy.

    Published in:
    South African Journal of Philosophy, 2023, v. 42, n. 4, p. 338, doi. 10.1080/02580136.2023.2288759
    By:
    • Wardle, Darryl
    Publication type:
    Article
    18
    19

    Microfoundations of Discounting.

    Published in:
    Decision Analysis, 2021, v. 18, n. 4, p. 257, doi. 10.1287/deca.2021.0436
    By:
    • Adamou, Alexander;
    • Berman, Yonatan;
    • Mavroyiannis, Diomides;
    • Peters, Ole
    Publication type:
    Article
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34

    Circular proofs for the modal mu-calculus.

    Published in:
    PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 893, doi. 10.1002/pamm.201610435
    By:
    • Afshari, Bahareh;
    • Leigh, Graham E.
    Publication type:
    Article
    35
    36
    37

    The Shapley value of phylogenetic trees.

    Published in:
    Journal of Mathematical Biology, 2008, v. 56, n. 4, p. 479, doi. 10.1007/s00285-007-0126-2
    By:
    • Claus-Jochen Haake;
    • Akemi Kashiwada;
    • Francis Su
    Publication type:
    Article
    38

    KIV: overview and VerifyThis competition.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3
    By:
    • Ernst, Gidon;
    • Pfähler, Jörg;
    • Schellhorn, Gerhard;
    • Haneberg, Dominik;
    • Reif, Wolfgang
    Publication type:
    Article
    39

    Deductive software verification.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 397, doi. 10.1007/s10009-011-0211-0
    By:
    • Filliâtre, Jean-Christophe
    Publication type:
    Article
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50