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]

Efficient interpolation algorithms

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-102697