HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Marco Faella

Publications
Reasoning About Data Trees Using CHCs
Marco Faella and Gennaro Parlato
EasyChair Preprint 8615

Keyphrases

automata, combining decision procedures, Constrained Horn Clauses, Data logics, games, monadic second-order logic, SMT solvers.

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