A Refinement of Strong Sequentiality for Term Rewriting with Constructors

Published in: Inf. Comput. (1987)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
description logics
operational semantics
knuth bendix
neural network
reinforcement learning
natural language
inference rules