A note on a P NP-result for a restricted class of real machines
Wadern / Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI) (1992) [Buchbeitrag]
Efficient interpolation algorithms
Autorinnen und Autoren
Ausgewählte Autorinnen und Autoren
Meer, K.
Identifikationsnummern
- REPORT NUMBER: RWTH-CONV-102697