A friendly introduction to mathematical logic CC Leary, L Kristiansen Lulu. com, 2015 | 62 | 2015 |

On the computational complexity of imperative programming languages L Kristiansen, KH Niggl Theoretical Computer Science 318 (1-2), 139-161, 2004 | 50 | 2004 |

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 | 48 | 2008 |

A flow calculus of *mwp*-bounds for complexity analysisND Jones, L Kristiansen ACM Transactions on Computational Logic (TOCL) 10 (4), 1-41, 2009 | 44 | 2009 |

Neat function algebraic characterizations of LOGSPACE and LINSPACE L Kristiansen computational complexity 14, 72-88, 2005 | 34 | 2005 |

The flow of data and the complexity of algorithms L Kristiansen, ND Jones New Computational Paradigms: First Conference on Computability in Europe …, 2005 | 34 | 2005 |

Programming languages capturing complexity classes L Kristiansen, PJ Voda Nord. J. Comput. 12 (2), 89-115, 2005 | 21 | 2005 |

Streamlined subrecursive degree theory L Kristiansen, JC Schlage-Puchta, A Weiermann Annals of Pure and Applied Logic 163 (6), 698-716, 2012 | 19 | 2012 |

Complexity classes and fragments of C L Kristiansen, PJ Voda Information Processing Letters 88 (5), 213-218, 2003 | 18 | 2003 |

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 | 16 | 2012 |

The Small Grzegorczyk Classes and the Typed lambda-Calculus. L Kristiansen, M Barra CiE, 252-262, 2005 | 16 | 2005 |

A jump operator on honest subrecursive degrees L Kristiansen Archive for Mathematical Logic 37 (2), 105-125, 1998 | 16 | 1998 |

On subrecursive representability of irrational numbers L Kristiansen Computability 6 (3), 249-276, 2017 | 15 | 2017 |

Complexity-Theoretic Hierarchies Induced by Fragments of Gödel’s *T*L Kristiansen Theory of Computing Systems 43, 516-541, 2008 | 15 | 2008 |

The surprising power of restricted programs and Gödel’s functionals L Kristiansen, PJ Voda Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003 | 14 | 2003 |

Subrecursive degrees and fragments of Peano arithmetic L Kristiansen Archive for Mathematical Logic 40, 365-397, 2001 | 13 | 2001 |

Information content and computational complexity of recursive sets L Kristiansen Gödel 96, 235-246, 1996 | 13 | 1996 |

A friendly introduction to mathematical logic, 2015 CC Leary, L Kristiansen | 13 | |

On subrecursive representability of irrational numbers, part II L Kristiansen Computability 8 (1), 43-65, 2019 | 11 | 2019 |

Lown, highn, and intermediate subrecursive degrees L Kristiansen Combinatorics, computation and logic (Proceedings), Springer, Singapore, 286-300, 1999 | 10 | 1999 |