search result

Cover von Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems

Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems

Year: 2016
Media group: LIPIcs
Cover von Revisiting Matrix Interpretations for Proving Termination of Term Rewriting

Revisiting Matrix Interpretations for Proving Termination of Term Rewriting

Year: 2011
Media group: ARTICLE
Cover von Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

Year: 2010
Media group: ARTICLE
Cover von RTA 2001; 2
special issue : S. 139 - 274
Search for this author
Year: 2003
Publisher: San Diego, Academic Press
Count: 2
Media group: SPECIAL ISSUE
Cover von Rewriting techniques and applications
12th international conference, Utrecht, The Netherlands, May 22 - 24, 2001, proceedings
Search for this author
Year: 2001
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2051
Media group: MONOGRAPHIE
Cover von Functional and logic programming
4th Fuji international symposium : Tsukuba, Japan, November 11 - 13, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1722
Media group: MONOGRAPHIE
Cover von Formalizing Almost Development Closed Critical Pairs (Short Paper)

Formalizing Almost Development Closed Critical Pairs (Short Paper)

Year: 2023
Media group: LIPIcs
Cover von Hydra Battles and AC Termination

Hydra Battles and AC Termination

Year: 2023
Media group: LIPIcs
Cover von Polynomial Termination Over ? Is Undecidable

Polynomial Termination Over ? Is Undecidable

Year: 2022
Media group: LIPIcs
Cover von ProTeM

ProTeM

A Proof Term Manipulator (System Description)
Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0