This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Christoph Haase
A grouping.
Christoph Haase: what decision problems cost - Presburger arithmetic subclasses and survival guide, and decision problems in separation logic with inductive predicates. Not Werner Haas (see wernerhaas).
4 references
A survival guide to Presburger arithmetic
Christoph Haase (2018) · ACM SIGLOG News · Association for Computing Machinery
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos and others (2014) · Foundations of Software Science and Computation Structures · Springer
Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
Christoph Haase and others (2013) · Computer Aided Verification · Springer Berlin Heidelberg