A comparison of two approaches to language definition as bases for the construction of proofs

  1. Lookup NU author(s)
  2. Professor Cliff Jones
Author(s)Jones CB
Publication type Report
Series Title
Legacy DateFebruary 1969
Report NumberLN 25.3.050
Full text is not currently available for this publication.
InstitutionIBM Laboratory
Place PublishedVienna
ActionsLink to this publication