Works matching DE "FIRST-order logic"


Results: 912
    1
    2
    3
    4
    5
    6
    7
    8
    9

    Monitoring modulo theories.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 205, doi. 10.1007/s10009-015-0380-3
    By:
    • Decker, Normann;
    • Leucker, Martin;
    • Thoma, Daniel
    Publication type:
    Article
    10
    11
    12
    13
    14
    15

    Categorical horn classes. 2.

    Published in:
    Algebra & Logic, 2011, v. 49, n. 6, p. 526, doi. 10.1007/s10469-011-9115-z
    By:
    • Palyutin, E.
    Publication type:
    Article
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33

    Model checking C++ programs.

    Published in:
    Software Testing: Verification & Reliability, 2022, v. 32, n. 1, p. 1, doi. 10.1002/stvr.1793
    By:
    • Monteiro, Felipe R.;
    • Gadelha, Mikhail R.;
    • Cordeiro, Lucas C.
    Publication type:
    Article
    34
    35
    36
    37
    38
    39
    40
    41

    LOGICS FROM ULTRAFILTERS.

    Published in:
    Review of Symbolic Logic, 2025, v. 18, n. 1, p. 142, doi. 10.1017/S1755020323000357
    By:
    • MUNDICI, DANIELE
    Publication type:
    Article
    42
    43
    44
    45

    CARNAP'S PROBLEM FOR MODAL LOGIC.

    Published in:
    Review of Symbolic Logic, 2023, v. 16, n. 2, p. 578, doi. 10.1017/S1755020321000083
    By:
    • BONNAY, DENIS;
    • WESTERSTÅHL, DAG
    Publication type:
    Article
    46
    47
    48
    49
    50