All material (C)opyright 2004 - The Automath Archive, Eindhoven University of Technology
Title: Description of language definition and verifier for Aut-68 and AUT-QE, with treatment of strings and telescopes
Author: L.S. van Benthem Jutting
Printed: Internal Report
Publishing date: May 1982
Publishing location: Department of Mathematics, Eindhoven University of Technology
Pages: 97
Language: English
Note: Comment (37p)
Verification (6p)
Equality (26p)
Reduction (14p)
Administration (14p)
Browse: Click here to browse a webversion of this article
Download this article: FAX-TIFF format, zip compressed
  FAX-TIFF format, tar compressed
  PDF version
  JPG version