Works matching IS 09601295 AND DT 2014 AND VI 24 AND IP 6

Results: 6
    1
    2

    Rigidity is undecidable.

    Published in:
    Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S096012951300087X
    By:
    • BOJAŃCZYK, MIKOŁAJ;
    • SZAWIEL, STANISŁAW;
    • ZAWADOWSKI, MAREK
    Publication type:
    Article
    3

    Theories of analytic monads.

    Published in:
    Mathematical Structures in Computer Science, 2014, v. 24, n. 6, p. 00, doi. 10.1017/S0960129513000868
    By:
    • SZAWIEL, STANISŁAW;
    • ZAWADOWSKI, MAREK
    Publication type:
    Article
    4
    5
    6