TY  - JOUR
ID  - publicatio15640
VL  - 105
TI  - Some decidability results on one-pass reductions
Y1  - 2019///
JF  - JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
A1  -  Vágvölgyi Sándor
SP  - 47
EP  - 74
AV  - restricted
UR  - http://publicatio.bibl.u-szeged.hu/15640/
SN  - 2352-2208
ER  -