Paul-Andr

Typed -calculi with Explicit Substitutions May Not Terminate

Paul-Andr, 1995 .

Theory of Evidence -a Survey of Its Mathematical Foundations, Applications and Computational Aspects

Paul-Andr, J. Urg Kohlas, 1994 .

Axiomatic Rewriting Theory Iii a Factorisation Theorem in Rewriting Theory

Paul-Andr, Melli Es Lfcs, 1997 .

Axiomatic Rewriting Theory Iv a Stability Theorem in Rewriting Theory

Paul-Andr, Melli Es Lfcs, 1998 .