Reasoning about Data Trees using CHCs
Authors: Marco Faella and Gennaro Parlato
Paper Information
| Title: | Reasoning about Data Trees using CHCs |
| Authors: | Marco Faella and Gennaro Parlato |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | monadic second-order logic, data logics, combining decision procedures, automata, constrained Horn clauses, SMT solvers, games |
| Pages: | 22 |
| Talk: | Aug 09 14:40 (Session 104A: Deductive Verification and Decision Procedures) |
| Paper: |  |