HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jürgen Giesl

Publications
Polynomial Loops: Beyond Termination
Marcel Hark, Florian Frohn and Jürgen Giesl
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Analyzing Runtime Complexity via Innermost Runtime Complexity
Florian Frohn and Jürgen Giesl
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Exotic Semi-Ring Constraints
Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl and Johannes Waldmann
In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

Keyphrases

automated complexity analysis, decidability, evaluation strategies, exotic semi-rings, halting problem, order encoding, Runtime Complexity, SAT encodings, SMT-IDL, SMT-LIA, term rewriting, termination.

Copyright © 2012-2025 easychair.org. All rights reserved.