UNIF'96
Extended Abstracts of the Tenth International Workshop on
Unification
Klaus U. Schulz and Stephan Kepser
CIS-Bericht-96-91
Unif'96 took place from June 6 - June 8, 1996 in Herrsching (Munich),
Germany. There were 42 participants from 8 countries. The report
collects the extended abstracts of talks given there. Here comes the
Table of Contents
Francesca Arcelli and Ferrante Formato --
Towards Fuzzy Unification
Qing Guo, Paliath Narendran and
D.A. Wolfram -- Unification and Matching modulo Nilpotence
Margus Veanes -- Uniform Representation
of Recursively Enumerable Sets with Simultaneous Rigid
$E$-Unification
Christoph Weidenbach -- Unification in
Sort Theories
Marisa Venturini Zilli -- Some Related
Cases of Infinite Unification and Matching
Gernot Salzer -- Complexity of Term
Schematizations
Robert Nieuwenhuis and Jose Miguel Rivero --
Polynomial Non-AC-Unifiability and Matching Filters
Robert Nieuwenhuis, Jose Miguel Rivero
and Miguel Angel Vallejo -- Matching and Unification with
Compiled Substitution Trees
Ulf Dunker and Annette Müller --
Results about RUE Resolution
Christopher Lynch -- Goal Directed
Completion using SOUR Graphs
Thomas Genet and Isabelle Gnaedig --
Termination Proofs with Efficient $gpo$ Ordering Constraint Solving
Bernhard Gramlich -- Conditional Rewrite
Systems under Signature Extensions: Some Counterexamples
Ralf Treinen -- The First Order Theory
of One-Step Rewriting by a Linear Term Rewriting System is
Undecidable
Yuichi Kaji, Kazuhiro Takada and Tadao
Kasami -- Syntactic Unification Problems under Constrained
Substitutions
Christoph Brzoska -- Image Sequence
Evaluation with Timed Transition Diagrams
Annegret Habel and Detlef Plump -- Term
Graph Narrowing
Emmanuel Engel -- A Rule Based First
Order Unification for Higher Order Types
J.M. Almendros-Jim'enez and
A. Gil-Luezas -- ISHTAR: A Functional Logic Language with
Polymorphic Order-Sorted Types
Andrew J. Kennedy -- Equational
Unification and Type Inference: A Case Study
Hubert Comon -- Higher Order Matching and
Tree Automata: An Abstract of Preliminary Work
Claude Kirchner and Christophe
Ringeissen -- Higher Order Equational Unification via Explicit
Substitutions
Gilles Dowek, Th'er`ese Hardin, Claude
Kirchner and Frank Pfenning -- Unification via Explicit
Substitutions: The Case of Higher-Order Patterns
Eric Domenjoud -- Undecidability of the
Word Problem in the Union of Theories Sharing Constructors
Franz Baader -- Combination of
Compatible Reduction Orderings that are Total on Ground Terms
Farid Ajili and Claude Kirchner --
Combining Unification and Built-In Constraints
J"orn Richts -- Optimizations for
Combining Unification Algorithms
Gilles Richard and Fr'ed'eric Saubion
-- Linear Completion for Equational Logic Programs
Marko Schütz and Manfred
Schmidt-Schauss -- Program Inversion in Functional Languages
Daniel Briaud -- Higher Order
Unification as a Typed Narrowing
Jordi Levy -- Decidable Linear
Second-Order Unification Problems
Alexandre Boudet, Evelyne Contejean and
Claude March'e -- AC-Complete Unification and its Application to
Theorem Proving
Alexandre S. Saidi -- Grammmatical
Associative Unification of Phrases