Search Results for author:
Found 3 papers, 0 papers with code
Anti-unification and Generalization: A Survey
Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference.
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science
The purpose of SCSS is to promote research on theoretical and practical aspects of symbolic computation in software science, combined with modern artificial intelligence techniques.
Nominal Unification and Matching of Higher Order Expressions with Recursive Let
We also provide a nominal unification algorithm for higher-order expressions with recursive let and atom-variables, where we show that it also runs in nondeterministic polynomial time.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
