UNIF'99 Participants

Stephan Kepser

Properties of Amalgamation Constructions

Claude Kirchner

Introduction to the Rewriting Calculus

Christopher Lynch

A Halting E-Unification Procedure for some Unitary

Matthias Mann

Equality of Functional Programs

Libor Polak

Unification in varieties of (unary) semigroups

Manfred Schmidt-Schauß

On Bounded Second Order Unification

Marko Schütz

Demand Analysis of Functional Programs

Ralf Treinen

no talk

Marisa Venturini Zilli

no talk


[Past UNIF meetings] [UNIF main page]
This page compiled from material provided by Marko Schütz.
Ralf Treinen
November 24, 2000