BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Christian Sternagel
SearchCollections
Map detail
Christian Sternagel13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristian SternagelAChristian SternagelResearcherA Locale for Minimal Bad SequencesWA Locale for Minimal Ba...preprint / 2012Certification extends Termination TechniquesWCertification extends T...preprint / 2012CeTA - A Tool for Certified Termination AnalysisWCeTA - A Tool for Certi...preprint / 2012A Relative Dependency Pair FrameworkWA Relative Dependency P...preprint / 2012The Certification Problem FormatWThe Certification Probl...preprint / 2014Level-Confluence of 3-CTRSs in Isabelle/HOLWLevel-Confluence of 3-C...preprint / 2016The Generalized Subterm Criterion in TTT2WThe Generalized Subterm...preprint / 2016Loops under Strategies ... ContinuedWLoops under Strategies ...preprint / 2010Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional TRSsWFormalized Confluence o...preprint / 2016A Characterization of Quasi-DecreasingnessWA Characterization of Q...preprint / 2016A Haskell Library for Term RewritingWA Haskell Library for T...preprint / 2013Recording Completion for Finding and Certifying Proofs in Equational LogicWRecording Completion fo...preprint / 2012
Person12 links

Christian Sternagel

Researcher

PaperA Locale for Minimal Bad SequencesAuthorship / preprint / 2012PaperCertification extends Termination TechniquesAuthorship / preprint / 2012PaperCeTA - A Tool for Certified Termination AnalysisAuthorship / preprint / 2012PaperA Relative Dependency Pair FrameworkAuthorship / preprint / 2012PaperThe Certification Problem FormatAuthorship / preprint / 2014PaperLevel-Confluence of 3-CTRSs in Isabelle/HOLAuthorship / preprint / 2016PaperThe Generalized Subterm Criterion in TTT2Authorship / preprint / 2016PaperLoops under Strategies ... ContinuedAuthorship / preprint / 2010

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)