- Public Sector Consultancy
Combined oxidation and absorption of nox by an ionic liquid tandem process. / Fehrmann, Rasmus (Inventor); Riisager, Anders (Inventor); Mossin, Susanne (Inventor); Thomassen, Peter Langelund (Inventor); Madsen, Anders Theilgaard (Inventor); Kunov-Kruse, Andreas Jonas (Inventor).IPC No.: B01D 53/ 04 A I. Patent No.: WO2015158849. Oct 22, 2015.
Publication: Research › Patent – Annual report year: 2016
Publication: Research › Conference abstract for conference – Annual report year: 2015
Publication: Communication › Sound/Visual production (digital) – Annual report year: 2015
- E-pub ahead of print
Completeness and Termination for a Seligman-style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.In: Journal of Logic and Computation, 2015, p. 1-27.
Publication: Research - peer-review › Journal article – Annual report year: 2015
Publication: Research - peer-review › Article in proceedings – Annual report year: 2015