Some decidability results on one-pass reductions
Elmentve itt :
Szerző: | |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
2019
|
Sorozat: | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
105 |
doi: | 10.1016/j.jlamp.2019.02.009 |
mtmt: | 30693016 |
Online Access: | http://publicatio.bibl.u-szeged.hu/15640 |
Terjedelem/Fizikai jellemzők: | 47-74 |
---|---|
ISSN: | 2352-2208 |