Gheorghe Stefanescu - Academia.edu (original) (raw)
Uploads
Papers by Gheorghe Stefanescu
Theoretical Computer Science, 1987
... Sketch of a direct proof. In FIX,T(1,1) the sum is associative with neutral element 0 and the... more ... Sketch of a direct proof. In FIX,T(1,1) the sum is associative with neutral element 0 and the composition is associative with neutral element l; moreover, F+ F'F+ F, F (F'+F")S 1 F F'+FF", (F'+F") a FSEF' F+F" F, F 0' 0 and 0 F'E0. Hence FIX,T(1, 1) =nd is a semiring. ...
Bookmarks Related papers MentionsView impact
Journal of Computer and System Sciences, 1987
Bookmarks Related papers MentionsView impact
Theoretical Computer Science, 1987
... Sketch of a direct proof. In FIX,T(1,1) the sum is associative with neutral element 0 and the... more ... Sketch of a direct proof. In FIX,T(1,1) the sum is associative with neutral element 0 and the composition is associative with neutral element l; moreover, F+ F'F+ F, F (F'+F")S 1 F F'+FF", (F'+F") a FSEF' F+F" F, F 0' 0 and 0 F'E0. Hence FIX,T(1, 1) =nd is a semiring. ...
Bookmarks Related papers MentionsView impact
Journal of Computer and System Sciences, 1987
Bookmarks Related papers MentionsView impact