On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry

DOI10.2168/LMCS-11(2:11)2015zbMath1391.68065arXiv1503.06687MaRDI QIDQ2941759

Andrew M. Marshall, Paliath Narendran, Catherine A. Meadows

Publication date: 25 August 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

equational logicunificationone-sided distributivityasymmetric unification

Mathematics Subject Classification ID

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

Related Items (2)

Bounded ACh unification ⋮ Terminating non-disjoint combined unification

This page was built for publication: On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry