Graph explorer

Christian Sternagel

Christian Sternagel contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapChristian Sternagel
13 nodes12 links
Christian Sternagel13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAChristian SternagelResearcherWA Locale for Minimal Ba...preprint / 2012WCertification extends T...preprint / 2012WCeTA - A Tool for Certi...preprint / 2012WA Relative Dependency P...preprint / 2012WThe Certification Probl...preprint / 2014WLevel-Confluence of 3-C...preprint / 2016WThe Generalized Subterm...preprint / 2016WLoops under Strategies ...preprint / 2010WFormalized Confluence o...preprint / 2016WA Characterization of Q...preprint / 2016WA Haskell Library for T...preprint / 2013WRecording Completion fo...preprint / 2012
PersonSignal 1012 links

Christian Sternagel

Researcher

Open