Proving Properties about Functions on Lists Involving Element Tests
From MaRDI portal
Publication:2890338
DOI10.1007/978-3-642-28412-0_17zbMath1312.68076MaRDI QIDQ2890338
Janis Voigtländer, Daniel Seidel
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_17
Uses Software
Cites Work