Graph explorer

Martin Avanzini

Martin Avanzini contributes to research discovery and scholarly infrastructure.

12 nodes11 linksoverview mapMartin Avanzini
12 nodes11 links
Martin Avanzini12 visible / 12 total nodes / 11 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartin AvanziniResearcherWEfficient Implementatio...preprint / 2011WA Path Order for Rewrit...preprint / 2011WDependency Pairs and Po...preprint / 2011WA New Order-theoretic C...preprint / 2012WA Combination Framework...preprint / 2013WPolynomial Path Orders:...preprint / 2012WA New Term Rewriting Ch...preprint / 2013WOn Sharing, Memoization...preprint / 2015WAnalysing the Complexit...preprint / 2015WPolynomial Path Orderspreprint / 2013WA Haskell Library for T...preprint / 2013
PersonSignal 1011 links

Martin Avanzini

Researcher

Open