Constructive Many-One Reduction from the Halting Problem to Semi-Unification.

Andrej Dudenhefner

Published in: CSL (2022)

Keyphrases

higher order
database
real time
multi agent systems
object recognition
databases
image processing
digital libraries
wireless sensor networks
theorem proving