Type-Based Complexity Analysis for Fork Processes.

Emmanuel Hainry Jean-Yves Marion Romain Péchoux

Published in: FoSSaCS (2013)

Keyphrases

complexity analysis
theoretical analysis
first order logic
lower bound
computational complexity
data mining
machine learning
feature selection
website
objective function
computational model
process model
computational models
state space search