Modular Proof Systems for Partial Functions with Weak Equality.

Harald Ganzinger Viorica Sofronie-Stokkermans Uwe Waldmann

Published in: IJCAR (2004)

Keyphrases

data sets
complex systems
knowledge based systems
learning systems
systems require
search algorithm
building blocks
theorem prover