Standard
Generic constructions and generic limits. / Sudoplatov, Sergey V.; Kiouvrekis, Yiannis; Stefaneas, Petros.
Algebraic Modeling of Topological and Computational Structures and Applications. ред. / S Lambropoulou; D Theodorou; P Stefaneas; LH Kauffman. Том 219 Springer New York LLC, 2017. стр. 375-398 (Springer Proceedings in Mathematics & Statistics; Том 219).
Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Harvard
Sudoplatov, SV, Kiouvrekis, Y & Stefaneas, P 2017,
Generic constructions and generic limits. в S Lambropoulou, D Theodorou, P Stefaneas & LH Kauffman (ред.),
Algebraic Modeling of Topological and Computational Structures and Applications. Том. 219, Springer Proceedings in Mathematics & Statistics, Том. 219, Springer New York LLC, стр. 375-398, THALES Workshop on Algebraic Modeling of Topological and Computational Structures and Applications, AlModTopCom 2015, Athens, Греция,
30.06.2015.
https://doi.org/10.1007/978-3-319-68103-0_18
APA
Sudoplatov, S. V., Kiouvrekis, Y., & Stefaneas, P. (2017).
Generic constructions and generic limits. в S. Lambropoulou, D. Theodorou, P. Stefaneas, & LH. Kauffman (Ред.),
Algebraic Modeling of Topological and Computational Structures and Applications (Том 219, стр. 375-398). (Springer Proceedings in Mathematics & Statistics; Том 219). Springer New York LLC.
https://doi.org/10.1007/978-3-319-68103-0_18
Vancouver
Sudoplatov SV, Kiouvrekis Y, Stefaneas P.
Generic constructions and generic limits. в Lambropoulou S, Theodorou D, Stefaneas P, Kauffman LH, Редакторы, Algebraic Modeling of Topological and Computational Structures and Applications. Том 219. Springer New York LLC. 2017. стр. 375-398. (Springer Proceedings in Mathematics & Statistics). doi: 10.1007/978-3-319-68103-0_18
Author
Sudoplatov, Sergey V. ; Kiouvrekis, Yiannis ; Stefaneas, Petros. /
Generic constructions and generic limits. Algebraic Modeling of Topological and Computational Structures and Applications. Редактор / S Lambropoulou ; D Theodorou ; P Stefaneas ; LH Kauffman. Том 219 Springer New York LLC, 2017. стр. 375-398 (Springer Proceedings in Mathematics & Statistics).
BibTeX
@inproceedings{37c78341abd04e9184cb23c8e345428e,
title = "Generic constructions and generic limits",
abstract = "We collect results related to generic constructions and generic limits for semantic and syntactic cases. It is considered both by pure model theory approach and by the institutional approach.",
keywords = "COUNTABLE MODELS, COMPLETENESS, INSTITUTIONS",
author = "Sudoplatov, {Sergey V.} and Yiannis Kiouvrekis and Petros Stefaneas",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-68103-0_18",
language = "English",
isbn = "9783319681023",
volume = "219",
series = "Springer Proceedings in Mathematics & Statistics",
publisher = "Springer New York LLC",
pages = "375--398",
editor = "S Lambropoulou and D Theodorou and P Stefaneas and LH Kauffman",
booktitle = "Algebraic Modeling of Topological and Computational Structures and Applications",
address = "United States",
note = "THALES Workshop on Algebraic Modeling of Topological and Computational Structures and Applications, AlModTopCom 2015 ; Conference date: 30-06-2015 Through 02-07-2015",
}
RIS
TY - GEN
T1 - Generic constructions and generic limits
AU - Sudoplatov, Sergey V.
AU - Kiouvrekis, Yiannis
AU - Stefaneas, Petros
PY - 2017/1/1
Y1 - 2017/1/1
N2 - We collect results related to generic constructions and generic limits for semantic and syntactic cases. It is considered both by pure model theory approach and by the institutional approach.
AB - We collect results related to generic constructions and generic limits for semantic and syntactic cases. It is considered both by pure model theory approach and by the institutional approach.
KW - COUNTABLE MODELS
KW - COMPLETENESS
KW - INSTITUTIONS
UR - http://www.scopus.com/inward/record.url?scp=85041286330&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-68103-0_18
DO - 10.1007/978-3-319-68103-0_18
M3 - Conference contribution
AN - SCOPUS:85041286330
SN - 9783319681023
VL - 219
T3 - Springer Proceedings in Mathematics & Statistics
SP - 375
EP - 398
BT - Algebraic Modeling of Topological and Computational Structures and Applications
A2 - Lambropoulou, S
A2 - Theodorou, D
A2 - Stefaneas, P
A2 - Kauffman, LH
PB - Springer New York LLC
T2 - THALES Workshop on Algebraic Modeling of Topological and Computational Structures and Applications, AlModTopCom 2015
Y2 - 30 June 2015 through 2 July 2015
ER -