Some Undecidability Results for Finitely Generated Thue Congruences on aTwo-Letter Alphabet.

Klaus Madlener Friedrich Otto

Published in: Fundam. Informaticae (1997)

Keyphrases

query containment
description logics
pattern matching
machine learning
website
special case
conjunctive queries
automatically generated
randomly selected