HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Constrained Horn Clauses

Papers
Collaborative Inference of Combined Invariants
Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Reasoning About Data Trees Using CHCs
Marco Faella and Gennaro Parlato
EasyChair Preprint no. 8615
Synchronizing Constrained Horn Clauses
Dmitry Mordvinov and Grigory Fedyukovich
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.