Dag Hovland

Image of Dag Hovland
Norwegian version of this page
Mobile phone +47-97046378 97046378
Room 4146
Username
Visiting address Høyteknologisenteret Thormøhlensgate 55 Bergen

Publications

View all works in Cristin

  • Hovland, Dag; Holen, Bjarne & Giese, Martin (2012). Efficient Rule-Matching for Hyper-Tableaux. Full text in Research Archive
  • Hovland, Dag (2010). Feasible Algorithms for Semantics - Employing Automata and Inference Systems.
  • Rossini, Alessandro; Rutle, Adrian; Mancini, Federico; Hovland, Dag; Mughal, Khalid Azim; Lamo, Yngve & Wolter, Uwe Egbert (2009). Data Validation Constraints in MDE.
  • Hovland, Dag (2008). A Type System for Usage of Software Components.
  • Hovland, Dag (2008). A Type System for Usage of Software Components.

View all works in Cristin

Published June 30, 2011 10:14 AM - Last modified Jan. 18, 2016 11:33 AM