Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Giesl, Juergen - Fachgruppe Informatik, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH
An Overview of Wavelet Analysis TimeFrequency Analysis
When Linear Norms Are Not Enough Nachum Dershowitz \Lambda Naomi Lindenstrauss y Yehoshua Sagiv y
Termination Semantics of Logic Programs with Cut and Related Features
A semantical analysis of structural recursion Andreas Abel, Thorsten Altenkirch
TERMINATION OF SIMPLY MODED WELLTYPED LOGIC PROGRAMS
On Proving Termination through Transfer Functions Oliver Theel and Felix C. Gartner \Lambda
A slow growing analysis of the canonical rewrite system for the Ackermann function
Termination proofs and computational complexity classes
Veri cation of Erlang Processes ? Thomas Arts 1 and Jurgen Giesl 2
Complexity classes within kbo Guillaume Bonfante
Modularity Results for Termination Proofs using Dependency Pairs
A Totally Terminating Rewrite System whose Complexity is not \Gamma 0 recursive
A terminating schema for higherorder rewrite Fr'ed'eric Blanqui y , JeanPierre Jouannaud y and Mitsuhiro Okada z
Translating TRSs into OSTRSs: a result on modularity of termination ?
Top Termination of CL(S) Johannes Waldmann
Automatic Termination Proofs of Logic Programs via Rewrite Systems
Fourth International Workshop on Termination Dagstuhl, Germany
Equational Termination by Semantic Labelling Hitoshi Ohsaki \Lambda Aart Middeldorp y Jurgen Giesl z
A fully syntactic ACRPO ? Albert Rubio
Well-Terminating, Input-Driven Logic Programs Jan{Georg Smaus
ContextSensitive ACrewriting M. C. F. Ferreira A. L. Ribeiro
Transforming ContextSensitive Rewrite Systems Aart Middeldorp
Strong convergence of term rewriting using strong dependency pairs
Recursive UpperBounds for Overlay Term Rewrite Systems Elias TAHHAN BITTAR
On Termination and Derivation Lengths for Ground Rewrite Systems
The termination hierarchy for term rewriting Hans Zantema
HigherOrder Recursive Path Orderings JeanPierre Jouannaud y and Albert Rubio z
Invariants, patterns and weights for ordering Ursula Martin
Monotonic Semantic Path Orderings Cristina Borralleras y , Maria C. F. Ferreira z and Albert Rubio yy
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog
Department of Computer Science Technical Report
