Publications @ FII
Home
Scientific Annals of Computer Science
Technical Reports
TR00-02 (2000) – Inductie si recursie pe domeniile inductiv definite
Ferucio Laurentiu Tiplea
