Did you mean: feldmannfeldmangoldman

search result

Cover von Matrix Interpretations on Polyhedral Domains

Matrix Interpretations on Polyhedral Domains

Year: 2015
Media group: LIPIcs
Cover von Polynomially Bounded Matrix Interpretations

Polynomially Bounded Matrix Interpretations

Year: 2010
Media group: ARTICLE
Cover von Sparse Tiling Through Overlap Closures for Termination of String Rewriting

Sparse Tiling Through Overlap Closures for Termination of String Rewriting

Year: 2019
Media group: LIPIcs
Cover von Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Year: 2008
Media group: ARTICLE
Cover von Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 15943
Media group: MONOGRAPHIE
Cover von Compression of Rewriting Systems for Termination Analysis

Compression of Rewriting Systems for Termination Analysis

Year: 2013
Media group: LIPIcs
Cover von Judgment and Decision Making as a Skill
Learning, Development and Evolution
Search for this author
Year: 2013
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Existence and Complexity of Approximate Equilibria in Weighted Congestion Games

Existence and Complexity of Approximate Equilibria in Weighted Congestion Games

Year: 2020
Media group: LIPIcs
Cover von A Modular Formalization of Superposition in Isabelle/HOL

A Modular Formalization of Superposition in Isabelle/HOL

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0