Unranked Nominal Unification.

Besik Dundua Temur Kutsia Mikheil Rukhaia

Published in: TbiLLC (2019)

Keyphrases

tree automata
higher order
equational theories
data sets
artificial intelligence
finite automata
database
databases
genetic algorithm
database systems
search algorithm
natural language
knowledge representation
regular expressions
theorem prover