Login / Signup
Pointer Programs and Undirected Reachability.
Ulrich Schöpp
Martin Hofmann
Published in:
Electron. Colloquium Comput. Complex. (2008)
Keyphrases
</>
data structure
directed graph
programming environment
neural network
automatic programming
data mining
fixpoint
provably correct
control structures
java programs
transitive closure
answer sets
weighted graph
logic programs
bayesian networks
image segmentation
website
image processing