Franz Baader | Unification, weak unification, upper bound, lower bound, and generalization problems, |

Marco Bellia and M. Eugenia Occhutio | Operators for unification and most general instance, |

Wayne Snyder | An inference system for conditional E-unification and Horn theories, |

James G Williams | Instantiation systems and unification algorithms, |

Juan Biccaregui and Brian Matthews | The inceremental development of an algorithm for matching with higher-order variables, |

D.J.Dougherty | Higher-order unification via combinators, |

Ross Paterson | Unification of schemes of quantified terms, |

Zhenyu Qian | On combining lambda- and equational unification procedures, |

Michael Hanus | Unification with type specifications, |

Gert Smolka | New results on feature unification, |

Muffy Thomas and Phil Watson | An order-sorted approach to generalization, |

E.K.Burke | Unification for nilpotent monoids, |

Thomas Filkorn | Unification in finite algebras and its integration into prolog, |

Jean-Louis Imbert | On redundant inequalities generated by Fourier's algorithm, |

Konrad Slind | Associative, commutative, and left distributive unification, |

D Boquin and M Dauchet | Some remarks about disunification, |

Hubert Comon | When can disunification lead to a finite set of most general unifiers? |

Catherine Delor | Study of the confluence of disequations elimination on equational problems, |

John Darlington and Yi-Ke Guo | Unification and constraint-solving, |

C and H Kirchner | Reasoning with symbolic constraints, |

Catherine Meadows | Applying equational unification to the analysis of key distribution protocols, |

Marshall Kline | A linear parallel-time algorithm for N-ary (N-statement) unification, |

Andy Mueck | Compilation of unification. |

Bill Rounds | Feature theory: information and unification, |

Alexander Herold | Constraint logic programming-a combination of paradigms |

Andreas Podelski | LIFE: unification, constraints, and the way to paradise |

Eric Domenjoud | Hierarchical combination of equational problems |

Francis Klay | On syntactic theories |

Ralf Treinen | Equational problems in term algebras modulo AC are undecidable |

Fritz Henglein and Hans Leiss | Quasi-monadic semi-unification is decidable |

Marshall Cline | A linear parallel-time algorithm for N-ary (N-statement) unification |

Gaetan Hains | Restricyed complexity of AC-matching |

[Past UNIF meetings] [UNIF main page]

This page compiled from material provided by John Truss. Ralf Treinen

December 6, 2000