Publication
-
Feature-Oriented Programming with Object Algebras In Proceedings
January 2013
-
Localizing DART using the Reconstructed Residual Error In Proceedings
January 2013
-
January 2013
-
January 2013
-
Representing some non-representable matroids Article
Advances in Applied Mathematics, 50(1), 201-227.January 2013
-
Brzozowski's and up-to algorithms for must testing In Proceedings
January 2013 -
January 2013
-
A coalgebraic view of epsilon-transitions In Proceedings
January 2013