Unifying F-logic molecules: a rectification to the original unification algorithm

DOI10.1093/LOGCOM/EXU051zbMath1353.68153OpenAlexW2133091736MaRDI QIDQ2826037

Zeki Bayram, Omid Sharifi

Publication date: 7 October 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exu051

zbMATH Keywords

proof theoryunificationlogic programmingmoleculeF-logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: Unifying F-logic molecules: a rectification to the original unification algorithm