Graph explorer

Clemens Grabmayer

Clemens Grabmayer contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewClemens Grabmayer
13 nodes12 links
Clemens Grabmayer13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAClemens GrabmayerResearcherWStructure-Constrained P...preprint / 2021WA Complete Proof System...preprint / 2020WAutomatic Sequences and...preprint / 2012WTerm Graph Representati...preprint / 2013WFrom Abstract Rewriting...preprint / 2013WTerm Graph Representati...preprint / 2013WExpressibility in the L...preprint / 2013WNested Term Graphs (Wor...preprint / 2015WExpressibility in the L...preprint / 2013WMaximal Sharing in the ...preprint / 2014WRegularity Preserving b...preprint / 2015WThe Degree of Squares i...preprint / 2015
PersonSignal 1012 links

Clemens Grabmayer

Researcher

Open