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 |