Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

On Interpolation and Symbol Elimination in Theory Extensions

S. 1 - 41

Publikationstyp: (noch) nicht publizierte Dokumente

Sprache: Englisch

Doi/URN: 10.48550/arXiv.1702.06620

Volltext über DOI/URN

Website
GeprüftBibliothek

Autoren

Sofronie-Stokkermans, Viorica (Autor)

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Universität Koblenz