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. ed. / Florin Manea; Barnaby Martin; Daniël Paulusma; Giuseppe Primiero. Springer-Verlag GmbH and Co. KG, 2019. p. 84-95 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11558 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Harvard
Bazhenov, N, Ganchev, H & Vatev, S 2019,
Effective Embeddings for Pairs of Structures. in F Manea, B Martin, D Paulusma & G Primiero (eds),
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), vol. 11558 LNCS, Springer-Verlag GmbH and Co. KG, pp. 84-95, 15th Conference on Computability in Europe, CiE 2019, Durham, United Kingdom,
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. In F. Manea, B. Martin, D. Paulusma, & G. Primiero (Eds.),
Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings (pp. 84-95). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11558 LNCS). Springer-Verlag GmbH and Co. KG.
https://doi.org/10.1007/978-3-030-22996-2_8
Vancouver
Bazhenov N, Ganchev H, Vatev S.
Effective Embeddings for Pairs of Structures. In Manea F, Martin B, Paulusma D, Primiero G, editors, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Springer-Verlag GmbH and Co. KG. 2019. p. 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. editor / Florin Manea ; Barnaby Martin ; Daniël Paulusma ; Giuseppe Primiero. Springer-Verlag GmbH and Co. KG, 2019. pp. 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-Verlag GmbH and Co. KG",
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 = "Germany",
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-Verlag GmbH and Co. KG
T2 - 15th Conference on Computability in Europe, CiE 2019
Y2 - 15 July 2019 through 19 July 2019
ER -
