Dag Hovland

From MaRDI portal
Person:269325

Available identifiers

zbMath Open hovland.dagMaRDI QIDQ269325

List of research outcomes





PublicationDate of PublicationType
Deciding twig-definability of node selecting tree automata2016-04-18Paper
The inclusion problem for regular expressions2012-11-06Paper
The membership problem for regular expressions with unordered concatenation and numerical constraints2012-06-08Paper
The inclusion problem for regular expressions2010-05-26Paper
Regular Expressions with Numerical Constraints and Automata with Counters2009-08-20Paper
A Type System for Usage of Software Components2009-07-02Paper

Research outcomes over time

This page was built for person: Dag Hovland

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:269325&oldid=6960539"
Powered by MediaWiki