Generic Theories as a Method for Approximating Elementary Theories

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Algebra and logic 2015, Vol.53 (6), p.512-519
Hauptverfasser: Myasnikov, A. G., Remeslennikov, V. N.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0002-5232
1573-8302
DOI:10.1007/s10469-015-9314-0