Lars Kristiansen

Lars Kristiansen

University of Oslo - Oslo / Norway
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1041735
Universitetet i Oslo
person_outline Lars Kristiansen's MOST POPULAR ARTICLES
1-) A friendly introduction to mathematical logicCC Leary, L KristiansenLulu. com, 2015592015
2-) On the computational complexity of imperative programming languagesL Kristiansen, KH NigglTheoretical Computer Science 318 (1-2), 139-161, 2004512004
3-) Linear, polynomial or exponential? Complexity inference in polynomial timeAM Ben-Amram, ND Jones, L KristiansenConference on Computability in Europe, 67-76, 2008482008
4-) A flow calculus of mwp-bounds for complexity analysisND Jones, L KristiansenACM Transactions on Computational Logic (TOCL) 10 (4), 1-41, 2009442009
5-) The flow of data and the complexity of algorithmsL Kristiansen, ND JonesConference on Computability in Europe, 263-274, 2005352005