HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Marco Faella

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

Keyphrases

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

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