The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems (1994)
by
Zurab Khasidashvili
| Venue: | In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, A. Nerode and Yu.V. Matiyasevich, eds., Springer LNCS |
| Citations: | 18 - 8 self |
Document Versions
| The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems –Zurab Khasidashvili — 1994 — In: Proc. of the 3 rd International Conference on Logical Foundations of Computer Science, LFCS'94, A. Nerode and Yu.V. Matiyasevich, eds., Springer LNCS |
