DMCA

Proof theory and formal grammars: applications of normalization (2003)

Cached

Download Links

by Hans-joerg Tiede
Venue:In Benedikt Löwe, Wolfgang Malzkom, and Thoralf Räsch, editors, Foundations of the formal sciences II
Citations:3 - 2 self