Cristin-person-ID: 13593

Lars Kristiansen

  • Stilling:
    ved PROG Programmering ved Universitetet i Oslo

Resultater Resultater

Reversible Computing and Implicit Computational Complexity.

Kristiansen, Lars. 2021, Science of Computer Programming. UIOVitenskapelig artikkel

On subrecursive representation of irrational numbers: Contractors and Baire sequences.

Kristiansen, Lars. 2021, Computability in Europe 2021: Connecting with Computability. UIOVitenskapelig foredrag

On Representations of Irrational Numbers: A Degree Structure.

Kristiansen, Lars. 2021, CCA 2021: Eighteenth International Conference on Computability and Complexity in Analysis . UIOVitenskapelig foredrag

Implicit characterisations of complexity classes by inherently reversible programming languages.

Kristiansen, Lars. 2021, SCOT: A Seminar on Semantic and Formal Approaches to Complexity . UIOVitenskapelig foredrag

Classic representations of irrational numbers seen from a computability and complexity-theoretic perspective.

Kristiansen, Lars. 2021, Logic Seminar, National University of Singapore. UIOVitenskapelig foredrag
1 - 5 av 121 | Neste | Siste »