Asymmetric unification and disunification

DOI10.1007/978-3-030-22102-7_23zbMath1444.68088arXiv1706.05066OpenAlexW2962992940MaRDI QIDQ2185487

Kimberly A. Cornell, Paliath Narendran, Veena Ravishankar

Publication date: 4 June 2020

Full work available at URL: https://arxiv.org/abs/1706.05066

zbMATH Keywords

disunificationasymmetric unificationtime-complexity analysis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42)

Related Items (2)

On solving nominal disunification constraints ⋮ Nominal equational problems

This page was built for publication: Asymmetric unification and disunification