Model evolution with equality -- revised and implemented
From MaRDI portal
Publication:429586
DOI10.1016/j.jsc.2011.12.031zbMath1258.03020MaRDI QIDQ429586
Peter Baumgartner, Björn Pelzer, Cesare Tinelli
Publication date: 20 June 2012
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.031
equational reasoning; automated theorem proving; instance-based methods; model evolution calculus with equality; superposition inference rule; theorem prover \texttt{E-Darvin}
DB lookup for MSC labels failed
Related Items
Uses Software