Switch to: References

Add citations

You must login to add citations.
  1. Parametrization over inductive relations of a bounded number of variables.Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 48 (2):103-134.
    Download  
     
    Export citation  
     
    Bookmark   4 citations