Substitution in non-wellfounded syntax with variable binding.

Ralph Matthes Tarmo Uustalu

Published in: Theor. Comput. Sci. (2004)

Keyphrases

neural network
knowledge base
object oriented
real time
genetic algorithm
artificial intelligence
natural language
predicate calculus