ITU
Carsten Schürmann

Carsten Schürmann

Full Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C13

Phone: +45 72185282

Information Desk: 72185000

View graph of relations

51 - 53 out of 53Page size: 50
  1. 2008
  2. Published

    Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

    Schack-Nielsen, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 320-326

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  3. Published

    Structural Logical Relations

    Schürmann, C. & Sarnat, J., 2008, In: Logic in Computer Science. p. 69-82

    Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

  4. 2006
  5. Published

    An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework

    Schürmann, C. & Stehr, M-O., 2006, In: Lecture Notes in Computer Science. 4246

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Previous 1 2 Next

ID: 263621