A note on a P NP-result for a restricted class of real machines

Meer, K.

Wadern : Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI) (1992)
Buchbeitrag

In: Efficient interpolation algorithms