Undecidability and Initial Segments of the R.E. tt-Degrees.

Christine Ann Haught Richard A. Shore

Published in: J. Symb. Log. (1990)

Keyphrases

databases
artificial intelligence
decision trees
line segments
mobile robot
modal logic