Standard
Effective Embeddings for Pairs of Structures. / Bazhenov, Nikolay; Ganchev, Hristo; Vatev, Stefan.
Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. ред. / Florin Manea; Barnaby Martin; Daniël Paulusma; Giuseppe Primiero. Springer, 2019. стр. 84-95 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 11558 LNCS).
Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Harvard
Bazhenov, N, Ganchev, H & Vatev, S 2019,
Effective Embeddings for Pairs of Structures. в F Manea, B Martin, D Paulusma & G Primiero (ред.),
Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 11558 LNCS, Springer, стр. 84-95, 15th Conference on Computability in Europe, CiE 2019, Durham, Великобритания,
15.07.2019.
https://doi.org/10.1007/978-3-030-22996-2_8
APA
Bazhenov, N., Ganchev, H., & Vatev, S. (2019).
Effective Embeddings for Pairs of Structures. в F. Manea, B. Martin, D. Paulusma, & G. Primiero (Ред.),
Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings (стр. 84-95). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 11558 LNCS). Springer.
https://doi.org/10.1007/978-3-030-22996-2_8
Vancouver
Bazhenov N, Ganchev H, Vatev S.
Effective Embeddings for Pairs of Structures. в Manea F, Martin B, Paulusma D, Primiero G, Редакторы, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Springer. 2019. стр. 84-95. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-22996-2_8
Author
Bazhenov, Nikolay ; Ganchev, Hristo ; Vatev, Stefan. /
Effective Embeddings for Pairs of Structures. Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Редактор / Florin Manea ; Barnaby Martin ; Daniël Paulusma ; Giuseppe Primiero. Springer, 2019. стр. 84-95 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
BibTeX
@inproceedings{f6e9fd69bfb14f3ca7724ffbf286e605,
title = "Effective Embeddings for Pairs of Structures",
abstract = "We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. We show that computable embeddings induce a non-trivial degree structure for two-element classes consisting of computable structures, in particular the pair of linear orders { ω, ω⋆}, which are the order types of the positive integers and the negative integers, respectively.",
keywords = "COMPUTABLE EMBEDDINGS, REDUCIBILITY, FUNCTORS, SPECTRA",
author = "Nikolay Bazhenov and Hristo Ganchev and Stefan Vatev",
year = "2019",
month = jan,
day = "1",
doi = "10.1007/978-3-030-22996-2_8",
language = "English",
isbn = "9783030229955",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "84--95",
editor = "Florin Manea and Barnaby Martin and Dani{\"e}l Paulusma and Giuseppe Primiero",
booktitle = "Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings",
address = "United States",
note = "15th Conference on Computability in Europe, CiE 2019 ; Conference date: 15-07-2019 Through 19-07-2019",
}
RIS
TY - GEN
T1 - Effective Embeddings for Pairs of Structures
AU - Bazhenov, Nikolay
AU - Ganchev, Hristo
AU - Vatev, Stefan
PY - 2019/1/1
Y1 - 2019/1/1
N2 - We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. We show that computable embeddings induce a non-trivial degree structure for two-element classes consisting of computable structures, in particular the pair of linear orders { ω, ω⋆}, which are the order types of the positive integers and the negative integers, respectively.
AB - We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. We show that computable embeddings induce a non-trivial degree structure for two-element classes consisting of computable structures, in particular the pair of linear orders { ω, ω⋆}, which are the order types of the positive integers and the negative integers, respectively.
KW - COMPUTABLE EMBEDDINGS
KW - REDUCIBILITY
KW - FUNCTORS
KW - SPECTRA
UR - http://www.scopus.com/inward/record.url?scp=85069487743&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-22996-2_8
DO - 10.1007/978-3-030-22996-2_8
M3 - Conference contribution
AN - SCOPUS:85069487743
SN - 9783030229955
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 84
EP - 95
BT - Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings
A2 - Manea, Florin
A2 - Martin, Barnaby
A2 - Paulusma, Daniël
A2 - Primiero, Giuseppe
PB - Springer
T2 - 15th Conference on Computability in Europe, CiE 2019
Y2 - 15 July 2019 through 19 July 2019
ER -
