PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kristiansen, Lill"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Total objects in inductively defined types.

, und . Arch. Math. Log., 36 (6): 405-436 (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Markus Lilli University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Interpreting higher computations as types with totality., und . Arch. Math. Log., 33 (4): 243-259 (1994)ENME: An ENriched MEdia Application Utilizing Context for Session Mobility; Technical and Human Issues., , und . EUC Workshops, Volume 3823 von Lecture Notes in Computer Science, Seite 316-325. Springer, (2005)Nurse calls via personal wireless devices; some challenges and possible design solutions.. CBMS, Seite 1-6. IEEE Computer Society, (2011)ENME: An ENriched MEdia application utilizing context for session mobility in a telecom system., , und . Int. J. Pervasive Computing and Communications, 5 (2): 127-162 (2009)Service quality in TINA-quality of service trading in open network architecture., , , , , und . EDOC, Seite 322-333. IEEE Computer Society, (1997)An Exergame Concept for Improving Balance in Elderly People., , , , , , und . REHAB, Volume 515 von Communications in Computer and Information Science, Seite 55-67. Springer, (2014)Mobility and Intelligence in Telecom: How and Where to Handle It?. INTELLCOMM, Volume 3283 von Lecture Notes in Computer Science, Seite 54-69. Springer, (2004)Designing simplified exergame for muscle and balance training in seniors: a concept of 'out in nature'., , , , , , und . PervasiveHealth, Seite 309-312. ICST, (2014)Spatial, organizational, and social dimensions of intra-hospital communication., , und . CBMS, Seite 1-6. IEEE Computer Society, (2011)Total objects in inductively defined types., und . Arch. Math. Log., 36 (6): 405-436 (1997)