The Undecidability of Self-Embedding for Term Rewriting Systems.

David A. Plaisted

Published in: Inf. Process. Lett. (1985)

Keyphrases

term rewriting systems
functional programs
logic programs
vector space
description logics
data hiding
database
databases
machine learning
data structure
object oriented
logic programming
similarity search
answering queries
probabilistic planning