Summary: 



| |
| |
____________________________________________________________||||

| |
| |
| |
| |
| |
| |
| |
| Termination of Mutually Recursive Functions |
| |
| with Several Arguments |
| |
| by Lexicographic Orderings |

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universität München

Collections: Computer Technologies and Information Sciences