Undecidability of the First Order Theory of One-Step Right Ground Rewriting.

Jerzy Marcinkowski

Published in: RTA (1997)

Keyphrases

description logics
theoretical basis
databases
higher order
theoretical framework
general theory
data sets
computational model