Eric Duquesne

Publication Activity (10 Years)

Years Active: 1994-1995
Publications (10 Years): 0

Publications

Eric Duquesne, Jacques Van de Wiele
Proof nets of PN as graphs. Arch. Math. Log. 34 (1) (1995)
Eric Duquesne, Jacques Van de Wiele
Modèle cohérent des réseaux de preuve. Arch. Math. Log. 33 (2) (1994)