Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Paper
Linear unification
Abstract
A unification algorithm is described which tests a set of expressions for unifiability and which requires time and space which are only linear in the size of the input. © 1978.
Related
Guillaume Buthmann, Tomoya Sakai, et al.
ICASSP 2025
Jonathan Ashley, Brian Marcus, et al.
Ergodic Theory and Dynamical Systems
Conference paper
Learning Reduced Order Dynamics via Geometric Representations
Imran Nasim, Melanie Weber
SCML 2024