A Semantic Basis for Proof Queries and Transformations

DOI10.1007/978-3-642-45221-5_4zbMath1406.68102OpenAlexW2614075156MaRDI QIDQ2870114

Christoph Lüth, Ewen Denney, David Aspinall

Publication date: 17 January 2014

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2060/20140005390

Mathematics Subject Classification ID

Uses Software

• XDuce

This page was built for publication: A Semantic Basis for Proof Queries and Transformations