Explicit versus implicit representations of subsets of the Herbrand universe.
type: Item
instance of: scholarly article
title: Explicit versus implicit representations of subsets of the Herbrand universe.
zbMATH Open document ID: 1051.68061
DOI: 10.1016/S0304-3975(02)00583-2
author: Reinhard Pichler
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68Q01
zbMATH DE Number: 1857107
zbMATH Keywords: Implicit generalizations
zbMATH Keywords: Negation elimination
zbMATH Keywords: Herbrand universe
zbMATH Keywords: Complexity
MaRDI profile type: Publication
cites work: Q4287493
cites work: Equational formulae with membership constraints
cites work: Equational problems and disunification
cites work: Hyperresolution and automated model building
cites work: Negation elimination in empty or permutative theories
cites work: Working with ARMs: Complexity results on atomic representations of Herbrand models
cites work: Sufficient-completeness, ground-reducibility and their complexity
cites work: Q3789064
cites work: Q4035222
cites work: Explicit representation of terms defined by counter examples
cites work: On inductive inference of cyclic structures
cites work: An Efficient Unification Algorithm
cites work: Q4263159
cites work: Q2723900
cites work: Q2754181
cites work: The negation elimination from syntactic equational formula is decidable
cites work: An improved lower bound for the elementary theories of trees
description: scientific article; zbMATH DE number 1857107