An efficient labelled nested multiset unification algorithm
From MaRDI portal
Publication:2152299
DOI10.1007/s41965-021-00076-0zbMath1490.68099MaRDI QIDQ2152299
Radu Nicolescu, Jing Sun, Yezhou Liu
Publication date: 7 July 2022
Published in: Journal of Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s41965-021-00076-0
68W40: Analysis of algorithms
68Q07: Biologically inspired models of computation (DNA computing, membrane computing, etc.)