Affordable Access

Publisher Website

The ehrenfeucht conjecture: An algebra-framework for its proof

Authors
Journal
Theoretical Computer Science
0304-3975
Publisher
Elsevier
Publication Date
Volume
44
Identifiers
DOI: 10.1016/0304-3975(86)90126-x
Disciplines
  • Mathematics

Abstract

Abstract We describe an algebraic framework including, in particular, the affine monoid of a given ring. Within this framework it is a simple matter to deduce Ehrenfeucht's Conjecture from Hilbert's Basis Theorem.

There are no comments yet on this publication. Be the first to share your thoughts.