Some decidability results on one-pass reductions

Elmentve itt :
Bibliográfiai részletek
Szerző: Vágvölgyi Sándor
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
Leíró adatok
Terjedelem/Fizikai jellemzők:47-74
ISSN:2352-2208