Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).

Andrej Dudenhefner

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

data sets
neural network
higher order
natural language
default theories
reduction method
attribute reduction
theorem proving
probabilistic model
wireless sensor networks
special case
database
cooperative
image segmentation
image processing
machine learning
databases
real time