Dialogue with a proof system

  • Robin Milner
Session AS5
Part of the Lecture Notes in Computer Science book series (LNCS, volume 249)


Inference Rule Proof System Formula Variable Schematic Variable Proof Schema 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Robin Milner
    • 1
  1. 1.Laboratory for Foundations of Computer Science Computer Science DeptUniversity of EdinburghEdinburghUnited Kingdom

Personalised recommendations