LEADER 01042nam0-22003131i-450-
001 990000378060403321
005 20001010
035   $a000037806
035   $aFED01000037806
035   $a(Aleph)000037806FED01
035   $a000037806
100   $a20001010d--------km-y0itay50------ba
101 0 $aita
105   $ay-------001yy
200 1 $a<<A >>Property which Guarantees Termination in Weak Combinatory Logic and Subtree Replacement Systems$fA. Pettorossi.
210   $aRoma$cLa Goliardica$d1978
215   $a22 p., 23 cm
300   $aIn testa al front.: Universita' di Roma. Istituto di Automatica.
676   $a629
700  1$aPettorossi,$bA.$017835
712 02$aUniversità degli studi di Roma.$bIstituto di automatica
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000378060403321
952   $a04 020-19/7N$bDIC$fDINCH
959   $aDINCH
996   $aProperty which Guarantees Termination in Weak Combinatory Logic and Subtree Replacement Systems$9135729
997   $aUNINA
DB    $aING01