A note on the complexity of matching patterns with variables

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

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.