Obstacles to Extending Mirsky's Theorem.

James H. Schmerl

Published in: Order (2002)

Keyphrases

wide range
autonomous robot navigation
interactive theorem proving
genetic algorithm
search engine
information systems
decision trees
high quality
special case
sufficient conditions
von neumann
visual navigation
intuitionistic logic