The Existence of Primitive Recursive Structures › Research Explorer

DOI

https://doi.org/10.1007/978-3-031-95908-0_9
Final published version

Pavel E. Alaev

Original language	English
Title of host publication	Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
Pages	119-132
Number of pages	14
Volume	15764
DOIs	https://doi.org/10.1007/978-3-031-95908-0_9
Publication status	Published - 20 Jun 2025
Event	21 Conference on Computability in Europe - Лиссабон, Portugal Duration: 14 Jul 2025 → 18 Jul 2025 Conference number: 21

Publication series

Name
Publisher	Lecture Notes in Computer Science

Conference

Conference	21 Conference on Computability in Europe
Abbreviated title	CiE 25
Country/Territory	Portugal
City	Лиссабон
Period	14.07.2025 → 18.07.2025

Research areas

computability, computable structure, punctual structure, primitive recursive structure, Abelian group, partial ordering, Boolean algebra

ID: 68292698