Works matching IS 00393215 AND DT 2004 AND VI 77 AND IP 2


Results: 6
    1
    2
    3
    4

    Algebraic Aspects of Cut Elimination.

    Published in:
    Studia Logica, 2004, v. 77, n. 2, p. 209, doi. 10.1023/b:stud.0000037127.15182.2a
    By:
    • Francesco Belardinelli;
    • Peter Jipsen;
    • Hiroakira Ono
    Publication type:
    Article
    5
    6