Picture for Andrew Ireland

Andrew Ireland

Heriot-Watt University

Discovery of Invariants through Automated Theory Formation

Add code
Jun 21, 2011
Figure 1 for Discovery of Invariants through Automated Theory Formation
Figure 2 for Discovery of Invariants through Automated Theory Formation
Figure 3 for Discovery of Invariants through Automated Theory Formation
Figure 4 for Discovery of Invariants through Automated Theory Formation
Viaarxiv icon