Skip to main content

Selected Papers on Automath

  • 1st Edition, Volume 133 - October 1, 1994
  • Editors: R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
  • Language: English
  • eBook ISBN:
    9 7 8 - 0 - 0 8 - 0 8 8 7 1 8 - 0

The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference… Read more

Selected Papers on Automath

Purchase options

Limited Offer

Save 50% on book bundles

Immediately download your ebook while waiting for your print delivery. No promo code is needed.

Book bundle cover eBook and print

Institutional subscription on ScienceDirect

Request a sales quote
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.