<div class="csl-bib-body">
<div class="csl-entry">Fokina, E. B., & Terwijn, S. (2024). Computable Structure Theory of Partial Combinatory Algebras. In <i>Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings</i> (pp. 265–276). Springer Cham. https://doi.org/10.1007/978-3-031-64309-5_21</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/209836
-
dc.description.abstract
We discuss the complexity of the class of countable partial combinatory algebras, coded as c.e. sets. We prove a completeness result, and also discuss the complexity of the isomorphism problem.
en
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
computably enumerable structures
en
dc.subject
index set
en
dc.subject
isomorphism problem
en
dc.subject
partial combinatory algebra
en
dc.subject
partial structures
en
dc.title
Computable Structure Theory of Partial Combinatory Algebras
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Radboud University Nijmegen, Netherlands (the)
-
dc.relation.isbn
978-3-031-64309-5
-
dc.relation.doi
10.1007/978-3-031-64309-5
-
dc.description.startpage
265
-
dc.description.endpage
276
-
dc.relation.grantno
P 36781-N
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings
-
tuw.container.volume
14773
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer Cham
-
tuw.project.title
Strukturen durch Lernen Klassifizieren
-
tuw.researchTopic.id
A3
-
tuw.researchTopic.name
Fundamental Mathematics Research
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publisher.doi
10.1007/978-3-031-64309-5_21
-
dc.description.numberOfPages
12
-
tuw.author.orcid
0000-0002-4598-458X
-
tuw.author.orcid
0000-0002-1464-6908
-
tuw.event.name
20th Conference on Computability in Europe, CiE 2024
en
tuw.event.startdate
08-07-2024
-
tuw.event.enddate
12-07-2024
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Amsterdam
-
tuw.event.country
NL
-
tuw.event.presenter
Terwijn, Sebastiaan
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
P 36781-N
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
Radboud University Nijmegen
-
crisitem.author.orcid
0000-0002-4598-458X
-
crisitem.author.orcid
0000-0002-1464-6908
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
