Lars Kristiansen

Identifiers

• name variant Lars Kristiansen 0.60 · backfill

Papers (6)

1. Notes on Interpretability between Weak First-order Theories: Theories of Sequences math.LO · 2024 · author #1
2. On representations of real numbers and the computational complexity of converting between such representations math.LO · 2023 · author #2
3. First-Order Concatenation Theory with Bounded Quantifiers math.LO · 2020 · author #1
4. Notes on Fragments of First-Order Concatenation Theory math.LO · 2018 · author #1
5. Subrecursive Approximations of Irrational Numbers by Variable Base Sums math.LO · 2018 · author #2
6. A Preliminary Report on Search for Good Examples of Hall's Conjecture math.NT · 2014 · author #2

Mentions

• 2402.14286 #1 · arxiv_oai · confidence 0.70 Lars Kristiansen
• 2304.07227 #2 · arxiv_oai · confidence 0.70 Lars Kristiansen
• 1804.05330 #2 · arxiv_oai · confidence 0.70 Lars Kristiansen
• 2003.04964 #1 · arxiv_oai · confidence 0.70 Lars Kristiansen
• 1804.06367 #1 · arxiv_oai · confidence 0.70 Lars Kristiansen
• 1401.4345 #2 · arxiv_oai · confidence 0.70 Lars Kristiansen
• 1401.4345 #2 · backfill · confidence 0.70 Lars Kristiansen

Frequent Coauthors

• Juvenal Murwanashyaka 3 shared papers
• Amir M. Ben-Amram 1 shared papers
• Frank Stephan 1 shared papers
• Hans Kristian Ruud 1 shared papers
• Ivan Georgiev 1 shared papers
• Jakob Grue Simonsen 1 shared papers
• St{\aa}l Aanderaa 1 shared papers