Nr. 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization

Publiceret: 2005-01-12

Artikler