HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Florian Zuleger

Publications
Embedding Intuitionistic into Classical Logic
Alexander Pluska and Florian Zuleger
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions
Jens Katelaan and Florian Zuleger
In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger
In:LPAR-22 Workshop and Short Paper Proceedings
LOOPUS - A Tool for Computing Loop Bounds for C Programs
Moritz Sinn and Florian Zuleger
In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

automated reasoning, decision procedure, Disjunctive Invariants, intuitionistic logic, loop bounds, model theory, program analysis, proof theory, separation logic, termination, transitive closure, undecidability.

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