Search alternatives:
"NP-hard" » "NP-had", "NP-hand"

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- A Logic for Distributed Higher Order ?-Calculus -- Minimum Maximal Matching Is NP-Hard in Regular...