scientific article; zbMATH DE number 7047277

zbMath1407.68082arXiv1507.06010MaRDI QIDQ4631184

Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantsky

Publication date: 24 April 2019

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

derivation treesstructural resolutionrewriting treesterm trees

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Operational semantics of resolution and productivity in Horn clause logic ⋮ Productive corecursion in logic programming ⋮ Generalizing Inference Systems by Coaxioms ⋮ Logic programming: laxness and saturation

This page was built for publication: