On approximate decidability of minimal programs.

Jason Teutsch Marius Zimand

Published in: CoRR (2014)

Keyphrases

query answering
description logics
provably correct
real time
machine learning
search engine
social networks
website
image sequences
data streams
exact solution
computer programs
programming environment
control structures