Informatik 2 ▲ Sign in to save

• ▲ Jera Hensel

  RWTH Aachen University Computer Science
  279

  citations

  9

  h-index

  5

  Aachen papers
• ▲ Jan-Christoph Kassing

  RWTH Aachen University Computer Science
  28

  citations

  3

  h-index

  19

  Aachen papers

2 results

• Proving Termination of C Programs with Lists

  2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

  1

  citations
• A Dependency Pair Framework for Relative Termination of Term Rewriting

  2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

  1

  citations

2 results