article · 2026

Halting Problem and Proof Theoretic Semantics

PL Olcott

Cited by 0Open access

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

APA 7

Olcott, P. (2026). Halting Problem and Proof Theoretic Semantics. https://doi.org/10.13140/rg.2.2.34245.72162

MLA 9

Olcott, PL. “Halting Problem and Proof Theoretic Semantics.” 2026, https://doi.org/10.13140/rg.2.2.34245.72162.

Chicago

Olcott, PL. 2026. “Halting Problem and Proof Theoretic Semantics.” https://doi.org/10.13140/rg.2.2.34245.72162.

Harvard

Olcott, P. (2026) ‘Halting Problem and Proof Theoretic Semantics’. Available at: https://doi.org/10.13140/rg.2.2.34245.72162.

BibTeX

@article{olcott2026halting,
  title = {{Halting Problem and Proof Theoretic Semantics}},
  author = {Olcott, PL},
  year = {2026},
  doi = {10.13140/rg.2.2.34245.72162}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.