Automata-Driven Efficient Subterm Unification.

R. Ramesh I. V. Ramakrishnan R. C. Sekar

Published in: FSTTCS (1994)

Keyphrases

data sets
neural network
higher order
data driven
lightweight
cellular automata
computationally expensive
artificial intelligence
website
multi agent
cost effective
regular expressions