HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Sabine Bauer

Publications
Decidable Inequalities over Infinite Trees
Sabine Bauer, Steffen Jost and Martin Hofmann
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Decidable linear list constraints
Sabine Bauer and Martin Hofmann
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

constraint satisfaction2, infinite lists, infinite trees, linear arithmetic, linear inequalities, pushdown automata, regular languages, Resource Analysis, resource types, word combinatorics.

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