Issue No.07 - July (1968 vol.17)
Abstract?Two consistent and complete formal systems for the algebraic transformation of regular expressions involving intersections and complements are given. Both systems are extensions of the system F<inf>1</inf>presented in Salomaa . As a result, a method of eliminating intersections and complements from regular expressions is obtained. This solves a problem proposed by Eggan.
"Two Complete Axiom Systems for the Extended Language of Regular Expressions", IEEE Transactions on Computers, vol.17, no. 7, pp. 700-701, July 1968, doi:10.1109/TC.1968.227424