Projects per year
Projects 2005 2018
Active
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
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 25/09/2018
Project: Research
Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder
Laursen, B., Christiansen, H. & Brandrup, M.
01/03/2013 → …
Project: Research