Lars Kristiansen

43 papers B 2C 16Journal 23Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A degree structure on representations of irrational numbers.
J. Log. Anal.
Amir M. Ben-Amram, Lars Kristiansen
2025 J jnl
On Representations of irrational numbers and the Computational Complexity of Converting between such Representations.
Bull. Symb. Log.
Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen
2025 C conf
On S-Degrees of Some Representations of Irrational Numbers.
CiE
Ivan Georgiev, Lars Kristiansen
2024 C conf
A Weak First-Order Theory of Sequences.
CiE
Lars Kristiansen, Juvenal Murwanashyaka
2023 J jnl
On representations of real numbers and the computational complexity of converting between such representations.
CoRR
Amir M. Ben-Amram, Lars Kristiansen, Jakob Grue Simonsen
2022 J jnl
Reversible computing and implicit computational complexity.
Sci. Comput. Program.
Lars Kristiansen
2021 J jnl
Computable irrational numbers with representations of surprising complexity.
Ann. Pure Appl. Log.
Ivan Georgiev, Lars Kristiansen, Frank Stephan
2021 J jnl
First-order concatenation theory with bounded quantifiers.
Arch. Math. Log.
Lars Kristiansen, Juvenal Murwanashyaka
2021 C conf
On Subrecursive Representation of Irrational Numbers: Contractors and Baire Sequences.
CiE
Lars Kristiansen
2020 C conf
On Interpretability Between Some Weak Essentially Undecidable Theories.
CiE
Lars Kristiansen, Juvenal Murwanashyaka
2020 C conf
On the Complexity of Conversion Between Classic Real Number Representations.
CiE
Lars Kristiansen, Jakob Grue Simonsen
2020 C conf
Reversible Programming Languages Capturing Complexity Classes.
RC
Lars Kristiansen
2019 J jnl
On subrecursive representability of irrational numbers, part II.
Comput.
Lars Kristiansen
2018 C conf
Decidable and Undecidable Fragments of First-Order Concatenation Theory.
CiE
Lars Kristiansen, Juvenal Murwanashyaka
2018 C conf
On General Sum Approximations of Irrational Numbers.
CiE
Ivan Georgiev, Lars Kristiansen, Frank Stephan
2018 J jnl
Search for good examples of Hall's conjecture.
Math. Comput.
Stål Aanderaa, Lars Kristiansen, Hans Kristian Ruud
2017 J jnl
On subrecursive representability of irrational numbers.
Comput.
Lars Kristiansen
2012 C conf
Degrees of Total Algorithms versus Degrees of Honest Functions.
CiE
Lars Kristiansen
2012 J jnl
Higher Types, Finite Domains and Resource-bounded Turing Machines.
J. Log. Comput.
Lars Kristiansen
2012 J jnl
Non-determinism in Gödel's System T.
Theory Comput. Syst.
Lars Kristiansen, Bedeho Mesghina Wolde Mender
2012 J jnl
On the Edge of Decidability in Complexity Analysis of Loop Programs.
Int. J. Found. Comput. Sci.
Amir M. Ben-Amram, Lars Kristiansen
2012 J jnl
Streamlined subrecursive degree theory.
Ann. Pure Appl. Log.
Lars Kristiansen, Jan-Christoph Schlage-Puchta, Andreas Weiermann
2011 J jnl
Book Reviews.
Stud Logica
Lars Kristiansen
2009 J jnl
A flow calculus of
ACM Trans. Comput. Log.
Neil D. Jones, Lars Kristiansen
2009 — conf
Static Complexity Analysis of Higher Order Programs.
FOPARA
James Avery, Lars Kristiansen, Jean-Yves Moyen
2008 J jnl
Complexity-Theoretic Hierarchies Induced by Fragments of Gödel's
Theory Comput. Syst.
Lars Kristiansen
2008 C conf
Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time.
CiE
Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen
2008 B conf
On the complexity of determining autonomic policy constrained behaviour.
NOMS
Mark Burgess, Lars Kristiansen
2008 C conf
Recursion in Higher Types and Resource Bounded Turing Machines.
CiE
Lars Kristiansen
2008 C conf
The Structure of Detour Degrees.
TAMC
Lars Kristiansen, Paul J. Voda
2007 J jnl
S. Barry Cooper, Computability Theory.
Stud Logica
Lars Kristiansen
2006 C conf
Complexity-Theoretic Hierarchies.
CiE
Lars Kristiansen
2006 C conf
The Trade-Off Theorem and Fragments of Gödel's
TAMC
Lars Kristiansen, Paul J. Voda
2005 J jnl
Neat function algebraic characterizations of logspace and linspace.
Comput. Complex.
Lars Kristiansen
2005 J jnl
Programming Languages Capturing Complexity Classes.
Nord. J. Comput.
Lars Kristiansen, Paul J. Voda
2005 C conf
The Flow of Data and the Complexity of Algorithms.
CiE
Lars Kristiansen, Neil D. Jones
2005 C conf
The Small Grzegorczyk Classes and the Typed lambda-Calculus.
CiE
Lars Kristiansen, Mathias Barra
2004 J jnl
On the computational complexity of imperative programming languages.
Theor. Comput. Sci.
Lars Kristiansen, Karl-Heinz Niggl
2003 J jnl
Complexity classes and fragments of C.
Inf. Process. Lett.
Lars Kristiansen, Paul J. Voda
2003 — conf
The Garland Measure and Computational Complexity of Stack Programs.
ICC@LICS
Lars Kristiansen, Karl-Heinz Niggl
2003 B conf
The Surprising Power of Restricted Programs and Gödel's Functionals.
CSL
Lars Kristiansen, Paul J. Voda
2001 J jnl
Subrecursive degrees and fragments of Peano Arithmetic.
Arch. Math. Log.
Lars Kristiansen
1998 J jnl
A jump operator on honest subrecursive degrees.
Arch. Math. Log.
Lars Kristiansen