Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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-2024 easychair.org. All rights reserved.