Concepedia

Induction Rules and Termination Proofs.

Peter B. Hitchcock, David Michael Ritchie Park

International Colloquium on Automata, Languages and Programming · 1972 · 101 citations · 0 references

Concepts