The Undecidability of Type Related Problems in Type-free Style System F.

Ken-etsu Fujita Aleksy Schubert

Published in: RTA (2010)

Keyphrases

related problems
database
real time
machine learning
information retrieval
bayesian networks
relational databases
mobile robot