A Strict Border for the Decidability of E-Unification for Recursive Functions.

Heinz Faßbender Sebastian Maneth

Published in: ALP (1996)

Keyphrases

recursive functions
inductive inference
description logics
higher order
query answering
theorem proving
decision procedures
theorem prover
type checking
machine learning
text classification
learning algorithm
decision trees