1126 search results - page 226 / 226 » Modularity and the Rule of Adaptation |
249
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...