ℒ-reduction computation revisited

Kaoru Fujioka, Fumiya Okubo, Takashi Yokomori. ℒ-reduction computation revisited. Acta Informatica, 59(4):409-426, 2022. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.