Jacques Van de Wiele

Publication Activity (10 Years)

Years Active: 1990-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)
V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
Some Uses of Dilators in Combinatorial Problems, II. J. Symb. Log. 55 (1) (1990)