%0 Journal Article %@ 2352-2208 %A Vágvölgyi Sándor %A Számítástudomány Alapjai Tanszék SZTE / TTIK / INF SZAT [2016-], %D 2019 %F publicatio:15640 %J JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING %P 47-74 %T Some decidability results on one-pass reductions %U http://publicatio.bibl.u-szeged.hu/15640/ %V 105