Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 10

Results: 3
    1

    Quantifiers on languages and codensity monads.

    Published in:
    Mathematical Structures in Computer Science, 2020, v. 30, n. 10, p. 1054, doi. 10.1017/S0960129521000074
    By:
    • Gehrke, Mai;
    • Petrişan, Daniela;
    • Reggio, Luca
    Publication type:
    Article
    2
    3

    Back to the Coordinated Attack Problem.

    Published in:
    Mathematical Structures in Computer Science, 2020, v. 30, n. 10, p. 1089, doi. 10.1017/S0960129521000037
    By:
    • Godard, Emmanuel;
    • Perdereau, Eloi
    Publication type:
    Article