Constraint solving for interpolation
Journal of Symbolic Computation. Bd. 45. H. 11. Amsterdam: Elsevier 2010 S. 1212 - 1233
Erscheinungsjahr: 2010
ISBN/ISSN: 1095-855X
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/j.jsc.2010.06.005
| Geprüft | Bibliothek |
Autoren
Rybalchenko, Andrey (Autor)
Sofronie-Stokkermans, Viorica (Autor)
