search result

Cover von Completion for Logically Constrained Rewriting

Completion for Logically Constrained Rewriting

Year: 2018
Media group: LIPIcs
Cover von Automated Deduction
CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9195
Media group: MONOGRAPHIE
Cover von Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules

Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules

Year: 2015
Media group: LIPIcs
Cover von Conditional Complexity

Conditional Complexity

Year: 2015
Media group: LIPIcs
Cover von Normalized Completion Revisited

Normalized Completion Revisited

Year: 2013
Media group: LIPIcs
Cover von Layer Systems for Proving Confluence

Layer Systems for Proving Confluence

Year: 2011
Media group: ARTICLE
Cover von Labelings for Decreasing Diagrams

Labelings for Decreasing Diagrams

Year: 2011
Media group: ARTICLE
Cover von Leftmost Outermost Revisited

Leftmost Outermost Revisited

Year: 2015
Media group: LIPIcs
Cover von Beyond Peano Arithmetic

Beyond Peano Arithmetic

Automatically Proving Termination of the Goodstein Sequence
Year: 2013
Media group: LIPIcs
Cover von Optimizing mkbTT

Optimizing mkbTT

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0