Follow
Lars Kristiansen
Lars Kristiansen
Professor, Department of Informatics, Department of Mathematics, University of Oslo
Verified email at math.uio.no - Homepage
Title
Cited by
Cited by
Year
A friendly introduction to mathematical logic
CC Leary, L Kristiansen
Lulu. com, 2015
692015
On the computational complexity of imperative programming languages
L Kristiansen, KH Niggl
Theoretical Computer Science 318 (1-2), 139-161, 2004
482004
Linear, polynomial or exponential? Complexity inference in polynomial time
AM Ben-Amram, ND Jones, L Kristiansen
Logic and Theory of Algorithms: 4th Conference on Computability in Europe …, 2008
472008
A flow calculus of mwp-bounds for complexity analysis
ND Jones, L Kristiansen
ACM Transactions on Computational Logic (TOCL) 10 (4), 1-41, 2009
442009
Neat function algebraic characterizations of LOGSPACE and LINSPACE
L Kristiansen
computational complexity 14, 72-88, 2005
342005
The flow of data and the complexity of algorithms
L Kristiansen, ND Jones
Conference on Computability in Europe, 263-274, 2005
332005
On subrecursive representability of irrational numbers
L Kristiansen
Computability 6 (3), 249-276, 2017
212017
Programming languages capturing complexity classes
L Kristiansen, PJ Voda
Nord. J. Comput. 12 (2), 89-115, 2005
212005
Streamlined subrecursive degree theory
L Kristiansen, JC Schlage-Puchta, A Weiermann
Annals of Pure and Applied Logic 163 (6), 698-716, 2012
202012
Complexity classes and fragments of C
L Kristiansen, PJ Voda
Information Processing Letters 88 (5), 213-218, 2003
182003
A jump operator on honest subrecursive degrees
L Kristiansen
Archive for Mathematical Logic 37 (2), 105-125, 1998
171998
On subrecursive representability of irrational numbers, part II
L Kristiansen
Computability 8 (1), 43-65, 2019
162019
The Small Grzegorczyk Classes and the Typed λ-Calculus
L Kristiansen, M Barra
Conference on Computability in Europe, 252-262, 2005
162005
Complexity-Theoretic Hierarchies Induced by Fragments of Gödel’s T
L Kristiansen
Theory of Computing Systems 43, 516-541, 2008
152008
On the edge of decidability in complexity analysis of loop programs
AM Ben-Amram, L Kristiansen
International Journal of Foundations of Computer Science 23 (07), 1451-1464, 2012
142012
The surprising power of restricted programs and Gödel’s functionals
L Kristiansen, PJ Voda
International Workshop on Computer Science Logic, 345-358, 2003
142003
Subrecursive degrees and fragments of Peano arithmetic
L Kristiansen
Archive for Mathematical Logic 40, 365-397, 2001
142001
Information content and computational complexity of recursive sets
L Kristiansen
Gödel'96: Logical foundations of mathematics, computer science and physics …, 1996
131996
A friendly introduction to mathematical logic, 2015
CC Leary, L Kristiansen
12
Higher types, finite domains and resource-bounded Turing machines
L Kristiansen
Journal of Logic and Computation 22 (2), 281-304, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20