Undecidability Results for Monoids with Linear-Time Decidable Word Problems.

Masashi Katsura Yuji Kobayashi Friedrich Otto

Published in: ISAAC (2000)

Keyphrases

word problems
query containment
description logics
exptime complete
similar problems
transitive closure
conjunctive queries
grade students
decision procedures
first order logic
datalog programs
probabilistic planning
query answering