Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification

Authors:
Franz Baader;Werner Nutt
Affiliations:
-;-
Venue:
RTA '91 Proceedings of the 4th International Conference on Rewriting Techniques and Applications
Year:
1991

Citing 0
Cited 2

Solving linear equations over polynomial semirings

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An E-unification algorithm for analyzing protocols that use modular exponentiation

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract