Works matching IS 09601295 AND DT 2005 AND VI 15 AND IP 1

Results: 5
    1
    2

    A coinductive calculus of streams.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 1, p. 93, doi. 10.1017/s0960129504004517
    By:
    • J.J.M.M. RUTTEN
    Publication type:
    Article
    3

    Classical logic as limit completion.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 1, p. 167, doi. 10.1017/s0960129504004529
    By:
    • STEFANO BERARDI
    Publication type:
    Article
    4

    Operations and equations for coalgebras.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 1, p. 149, doi. 10.1017/s0960129504004402
    By:
    • ALEXANDER KURZ;
    • JIR ROSICK
    Publication type:
    Article
    5