Archived publication
Archived publication
A functional reconstruction of anti-unification
3913/_stvold_-_A_functional_reconstruction_of_anti-unification.pdf
April 01, 2004
DART
- Filename: 3913/_stvold_-_A_functional_reconstruction_of_anti-unification.pdf
- Areas: Theoretical computer science
- Keywords: anti-unification, unification, term lattice
- Page(s): 20
- Title: A functional reconstruction of anti-unification
- Author(s): Østvold, Bjarte M.
- Report number: DART/04/04
- Published date: April 01, 2004