Login / Signup
Undecidability of second-order complement problems.
Denis Lugiez
Published in:
UNIF (1995)
Keyphrases
</>
neural network
artificial intelligence
optimization problems
benchmark problems
decision problems
problems involving
database
real time
artificial neural networks
description logics
application domains
related problems
partially observable