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)
Contribution to a book
In: Efficient interpolation algorithms
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-102697