forme β-η-normali nel λ-K-calcolo", Pubbl. INAC, n. 696, Roma, 1968. C. Böhm, A. Berarducci, "Automatic Synthesis of typed Lambda-programs on Term Algebras"...
5 KB (480 words) - 14:49, 19 July 2024
"Complexity of the unification algorithm for first-order expressions". Calcolo. 12 (4): 361–372. doi:10.1007/BF02575754. S2CID 189789152. Baader, Franz;...
70 KB (7,377 words) - 01:53, 4 May 2024
hdl:2027/mdp.39015095253541. Retrieved 4 June 2023. Capparelli, Stefano (2003). "Calcolo della funzione di partizione di Kostant". Bollettino dell'Unione Matematica...
10 KB (1,711 words) - 21:23, 5 January 2024
, b ) = ( λ a , λ b ) , {\displaystyle \lambda (a,b)=(\lambda a,\lambda b),} where λ {\displaystyle \lambda } is any real number. A simple basis of this...
34 KB (4,749 words) - 01:17, 16 October 2024
the University of Pisa in 1971, with a thesis titled, "Complessità di calcolo delle funzioni ricorsive". He then pursued a three-year doctoral scholarship...
25 KB (2,504 words) - 00:38, 30 October 2024
Mathematica, 22 (3): 262–303, doi:10.1006/hmat.1995.1025 Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni...
87 KB (11,487 words) - 18:57, 28 October 2024
https://amslaurea.unibo.it/13819/1/GiorgiaLari.pdf Lari, Giorgia (2016) "Storia del calcolo differenziale e la disputa tra Leibniz e Newton, Tesi di Laurea in Storia...
236 KB (25,879 words) - 05:40, 23 October 2024
American Mathematical Society, ISBN 0-8218-2031-1 Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni...
77 KB (12,096 words) - 17:40, 3 October 2024