Henning Christiansen

INGRACOMLEN: Algoritmos de inferencia gramatical para medir la complejidad relativa de las lenguas naturales (Grammatical Inference Algorithms for measuring the relative complexity of natural languages)

Jiménez López, M. D., Christiansen, H., Becerra-Bonache, L., Martín Vide, C., Jacquenet, F., Batista Galván, M., Torrens Urrutia, A. & Loukanova, R.

01/01/2016 → 31/12/2018

Project: Research

Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H.

Det Frie Forskningsråd | Natur og Univers

01/11/2015 → 30/09/2018

Project: Research

Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder

Laursen, B., Christiansen, H. & Brandrup, M.

01/03/2013 → …

Project: Research

CONTEXT 07: Sixth International and Interdisciplinary Conference

Christiansen, H.

NOKIA Research

11/08/2010 → …

Project: Research

CONTEXT 07: Sixth International and Interdisciplinary Conference

Christiansen, H.

Det Frie Forskningsråd

11/08/2010 → …

Project: Research

CONTROL project

Christiansen, H.

Statens Naturvidenskabelige Forskningsråd

01/05/2004 → 04/07/2030

Project: Research