Graph explorer

Martin Avanzini

Martin Avanzini contributes to research discovery and scholarly infrastructure.

8 nodes7 linksoverview previewMartin Avanzini
8 nodes7 links
Martin Avanzini8 visible / 8 total nodes / 7 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAMartin 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 Haskell Library for T...preprint / 2013
PersonSignal 107 links

Martin Avanzini

Researcher

Open