$$\mathcal {L}$$-reduction computation revisited

Bibliographic Information

Published
2022-03-24
Resource Type
journal article
Rights Information
  • https://www.springer.com/tdm
  • https://www.springer.com/tdm
DOI
  • 10.1007/s00236-022-00418-0
Publisher
Springer Science and Business Media LLC

Search this article

Journal

  • Acta Informatica

    Acta Informatica 59 (4), 409-426, 2022-03-24

    Springer Science and Business Media LLC

References(21)*help

See more

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top