OUP accepted manuscript
From MaRDI portal
Publication:5894701
DOI10.1093/logcom/exx004zbMath1380.68344OpenAlexW4247335311MaRDI QIDQ5894701
Ali Rezaei Divroodi, Linh Anh Nguyen
Publication date: 13 February 2018
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exx004
Related Items