Hjalti Magnusson

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Recently Developed

Emerging Patterns

Computational Complexity

Top Venues

Publications

Hjalti Magnusson, Henning Úlfarsson
Algorithms for discovering and proving theorems about permutation patterns. CoRR (2012)