Model companions of theories of graphs.

Kota Takeuchi Yu-ichi Tanaka Akito Tsuboi

Published in: Math. Log. Q. (2015)

Keyphrases

formal model
computational model
theoretical framework
probabilistic model
statistical model
em algorithm
neural network model
decision trees
high level
similarity measure
objective function
theoretical analysis
mathematical model
experimental data
computational models