Sefm2015: Difference between revisions

No edit summary
Line 24: Line 24:
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/nantes_provers_only.pdf André, Attiogbé and Lanoix, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/nantes_provers_only.pdf André, Attiogbé and Lanoix, Provers alone]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/nantes_tactic.pdf André, Attiogbé and Lanoix,  Tactics]
* [http://www.stups.uni-duesseldorf.de/models/sefm2015_disprover/output/nantes_tactic.pdf André, Attiogbé and Lanoix,  Tactics]


=== Further Models ===
=== Further Models ===

Revision as of 09:57, 27 March 2015