Skip to content
This repository was archived by the owner on Nov 15, 2019. It is now read-only.

experiment with other unification algorithms #5

Open
mndrix opened this issue Feb 21, 2013 · 0 comments
Open

experiment with other unification algorithms #5

mndrix opened this issue Feb 21, 2013 · 0 comments

Comments

@mndrix
Copy link
Owner

mndrix commented Feb 21, 2013

Try a more efficient unification algorithm such as those described in "An Efficient Unification Algorithm" by Martelli, "A practically efficient and almost linear unification algorithm" by Escalada-Imaz, "A Practically Linear Unification Algorithm" by Baxter.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mndrix