[MB] _________________________ AMAST Links 02 06

2nd Int'l W. on Higher-Order Algebra, Logic and Term Rewriting, HOA'95

Paderborn, Germany, 21st-22nd September 1995

Update of information in [AL0201C6] .

The HOA'95 Call for Participation is available.

Please visit this WWW page for the final program and registration information.