A geometric interpretation of LD-resolution
type: Item
instance of: scholarly article
title: A geometric interpretation of LD-resolution
zbMATH Open document ID: 1068.68041
author: R. N. Banerjee
author: A. Bujosa
published in: Theoretical Computer Science
publication date: 2004-08-10T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 2085479
zbMATH Keywords: Syntactic unification
zbMATH Keywords: SLD-resolution
zbMATH Keywords: Affine linear varieties
zbMATH Keywords: Free-modules
zbMATH Keywords: Semi-group ring
zbMATH Keywords: Dynamical systems
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.03.007
OpenAlex ID: W2010264912
cites work: Modules with decompositions that complement direct summands
cites work: Unification theory
cites work: Q4472207
cites work: Syntactic unification as a geometric operation in free modules over certain rings
cites work: Q4068686
cites work: Q4040874
cites work: Q4849470
cites work: Q4864468
cites work: Q4877698
cites work: Q4235430
cites work: Q3919057
cites work: Dynamical systems, measures, and fractals via domain theory
cites work: Q4052071
cites work: Q3829671
cites work: The design of linear algebra and geometry
cites work: Generalized metrics and uniquely determined logic programs.
cites work: Vectorial equations solving for mechanical geometry theorem proving
cites work: Q3789064
cites work: Q3339245
cites work: Q3996846
cites work: Q4499241
cites work: Q4844167
cites work: The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
cites work: Continuation-Based Program Transformation Strategies
DOI: 10.1016/J.TCS.2004.03.007
description: scientific article; zbMATH DE number 2085479