search result

Cover von Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen
Author: Giesl, Jürgen Search for this author
Year: 1995
Publisher: St. Augustin, Infix
Series: Dissertationen zur künstlichen Intelligenz; 96
Media group: DISSERTATION
Cover von Verification of Erlang processes by dependency pairs

Verification of Erlang processes by dependency pairs

article
Year: 2001
Termination
Media group: ARTICLE
Cover von Term rewriting and applications
16th international conference, Nara, Japan, April 19 - 21, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3467
Media group: MONOGRAPHIE
Cover von Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting

Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting

Year: 2011
Media group: ARTICLE
Cover von Deciding Termination of Simple Randomized Loops

Deciding Termination of Simple Randomized Loops

Year: 2025
Media group: LIPIcs
Cover von On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems

On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems

Year: 2024
Media group: LIPIcs
Cover von Automated Reasoning
5th International Joint Conference, Edinburgh, UK, July 16 - 19, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 6173
Media group: MONOGRAPHIE
Cover von Termination; 1/2
special issue : S. 1 -196
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Count: 1/2
Media group: SPECIAL ISSUE
Cover von Weighted Rewriting

Weighted Rewriting

Semiring Semantics for Abstract Reduction Systems
Year: 2025
Media group: LIPIcs
Cover von Inferring Lower Bounds for Runtime Complexity

Inferring Lower Bounds for Runtime Complexity

Year: 2015
Media group: LIPIcs
OPEN V 11.1.0.0