The Explicit Representability of Implicit Generalizations

Authors:
Reinhard Pichler
Affiliations:
-
Venue:
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
Year:
2000

Citing 0
Cited 3

Explicit versus implicit representations of subsets of the Herbrand universe

Theoretical Computer Science
Negation Elimination from Simple Equational Formulae

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
On Deciding Subsumption Problems

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract