Caleb Camrud

Orcid: 0000-0002-6744-1375

According to our database¹, Caleb Camrud authored at least 5 papers between 2019 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

On the complexity of the theory of a computably presented metric structure.

[BibT_eX]

[DOI]

Caleb Camrud

Isaac Goldbring

Timothy H. McNicholl

Arch. Math. Log., November, 2023

Continuous Accessibility Modal Logics.

[BibT_eX]

[DOI]

Caleb Camrud

Ranpal Dosanjh

J. Philos. Log., February, 2023

Generalized effective completeness for continuous logic.

[BibT_eX]

[DOI]

Caleb Camrud

J. Log. Anal., 2023

2020

A Note on FDE "All the Way Up".

[BibT_eX]

[DOI]

J. C. Beall

Caleb Camrud

Notre Dame J. Formal Log., 2020

2019

Stability of the Kaczmarz Reconstruction for Stationary Sequences.

[BibT_eX]

[DOI]

CoRR, 2019

Caleb Camrud

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...