Works matching DE "COINDUCTION (Mathematics)"


Results: 33
    1
    2

    A general account of coinduction up-to.

    Published in:
    Acta Informatica, 2017, v. 54, n. 2, p. 127, doi. 10.1007/s00236-016-0271-4
    By:
    • Bonchi, Filippo;
    • Petrişan, Daniela;
    • Pous, Damien;
    • Rot, Jurriaan
    Publication type:
    Article
    3
    4
    5
    6
    7
    8
    9

    Conferences.

    Published in:
    1999
    By:
    • Various
    Publication type:
    Abstract
    10
    11
    12
    13

    DIAGONAL MODEL STRUCTURES.

    Published in:
    Theory & Applications of Categories, 2013, v. 28, n. 2, p. 250
    By:
    • JARDINE, J. F.
    Publication type:
    Article
    14
    15
    16

    Proofs, Programs, Processes.

    Published in:
    Theory of Computing Systems, 2012, v. 51, n. 3, p. 313, doi. 10.1007/s00224-011-9325-8
    By:
    • Berger, Ulrich;
    • Seisenberger, Monika
    Publication type:
    Article
    17
    18
    19
    20
    21

    Enhanced coalgebraic bisimulation.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1236, doi. 10.1017/S0960129515000523
    By:
    • ROT, JURRIAAN;
    • BONCHI, FILIPPO;
    • BONSANGUE, MARCELLO;
    • POUS, DAMIEN;
    • RUTTEN, JAN;
    • SILVA, ALEXANDRA
    Publication type:
    Article
    22

    Practical coinduction.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 7, p. 1132, doi. 10.1017/S0960129515000493
    By:
    • KOZEN, DEXTER;
    • SILVA, ALEXANDRA
    Publication type:
    Article
    23
    24

    Event Identifier Logic.

    Published in:
    Mathematical Structures in Computer Science, 2014, v. 24, n. 2, p. 1, doi. 10.1017/S0960129513000510
    By:
    • PHILLIPS, IAIN;
    • ULIDOWSKI, IREK
    Publication type:
    Article
    25
    26
    27
    28
    29
    30

    THE LARGEST RESPECTFUL FUNCTION.

    Published in:
    Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:11)2016
    By:
    • PARROW, JOACHIM;
    • WEBER, TJARK
    Publication type:
    Article
    31
    32
    33