A note on the complexity of matching patterns with variables
From MaRDI portal
Publication:2445237
DOI10.1016/j.ipl.2013.06.011zbMath1284.68284OpenAlexW1972596784MaRDI QIDQ2445237
Could not fetch data.
Publication date: 14 April 2014
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2013.06.011
Could not fetch data.
Could not fetch data.