View in EDS PDF Full Text

Some General Results About Proof Normalization.

Saved in:
Bibliographic Details
Title: Some General Results About Proof Normalization.
Authors: Aiguier, Marc1 marc.aiguier@ecp.fr, Longuet, Delphine2 delphine.longuet@lri.fr
Source: Logica Universalis. Mar2010, Vol. 4 Issue 1, p1-29. 29p.
Database: Mathematics Source
Be the first to leave a comment!
You must be logged in first