Stephan Falke

Available identifiers

Publication	Date of Publication	Type
When Is a Formula a Loop Invariant?	2015-09-14	Paper
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures	2014-07-22	Paper
Rewriting Induction + Linear Arithmetic = Decision Procedure	2012-09-05	Paper
Termination Analysis of C Programs Using Compiler Intermediate Languages	2012-04-24	Paper
Predicting Failures of and Repairing Inductive Proof Attempts	2010-06-02	Paper
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures	2010-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q3408137	2010-02-24	Paper
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs	2009-07-28	Paper
Proving Termination of Integer Term Rewriting	2009-06-30	Paper
Dependency Pairs for Rewriting with Non-free Constructors	2009-03-06	Paper
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures	2008-08-28	Paper
Inductive Decidability Using Implicit Induction	2008-05-27	Paper
Mechanizing and improving dependency pairs	2007-05-03	Paper

This page was built for person: Stephan Falke