Toggle Main Menu Toggle Search

ePrints

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

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Jones CB

Publication type: Report

Series Title:

Year: 1969

Source Publication Date: February 1969

Report Number: LN 25.3.050

Institution: IBM Laboratory

Place Published: Vienna


Share