Locality Transfer: From Constrained Axiomatizations to Reachability Predicates
From MaRDI portal
Publication:3192190
DOI10.1007/978-3-319-08587-6_14zbMath1423.68420MaRDI QIDQ3192190
Viorica Sofronie-Stokkermans, Matthias Horbach
Publication date: 26 September 2014
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_14
68Q60: Specification and verification (program logics, model checking, etc.)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Symbol elimination and applications to parametric entailment problems, On invariant synthesis for parametric systems