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 - Duration: 1 Jan 2025 → … Conference number: 21

Publication series

Name
Publisher	Lecture Notes in Computer Science

Conference

Conference	21 Conference on Computability in Europe
Abbreviated title	CiE
Period	01.01.2025 → …

Research areas

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

ID: 68292698