A NEW PROOF TECHNIQUE TO ESTABLISH EQUIVALENCE OF THE ORIGINAL AND THE GENERATED LAMBDA-FREE CFG WITH LINEAR INCREASE IN SIZE Article

cited authors

  • NAVLAKHA, J

fiu authors

publication date

  • 1982

published in

  • BIT  Journal

category

Digital Object Identifier (DOI)

volume

  • 22

issue

  • 1

research area