Las siguientes páginas enlazan a Proving termination with multiset orderings in PVS: theory, methodology and applications (PROTEMO):
Ver (previas 20 | siguientes 20) (
20 |
50 |
100 |
250 |
500).
Ver (previas 20 | siguientes 20) (
20 |
50 |
100 |
250 |
500).