( en | de | ru )

 

Disambiguation of "Intrigila, Benedetto"

Author of the publication

copydeleteadd this publication to your clipboard
Some Results on Numerical Systems in lambda-Calculus.

. Notre Dame J. Formal Log., 35 (4): 523-541 (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benedetto Risio

Barbara Di Benedetto

Patrizia Di Benedetto

Benedetto Daniele Giaimo

Sascha Magnus Benedetto Castro

 

Other publications of authors with the same name

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , and . ICTCS, volume 2841 of Lecture Notes in Computer Science, page 58-71. Springer, (2003)Exploiting Transition Locality in the Disk Based Mur phi Verifier., , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 202-219. Springer, (2002)An XML environment for scenario based requirements engineering., , , and . J. Syst. Softw., 79 (3): 379-403 (2006)Some Results on Numerical Systems in lambda-Calculus.. Notre Dame J. Formal Log., 35 (4): 523-541 (1994)A Comprehensive Setting for Matching and Unification over Iterative Terms., , and . Fundam. Informaticae, 39 (3): 273-304 (1999)A PDDL+ Benchmark Problem: The Batch Chemical Plant., , , and . ICAPS, page 222-225. AAAI, (2010)Interoperability mapping from XML schemas to ER diagrams., , , , and . Data Knowl. Eng., 59 (1): 166-188 (2006)Addressing Machines as models of lambda-calculus., , and . Log. Methods Comput. Sci., (2022)On the commutative equivalence of semi-linear sets of Nk., and . Theor. Comput. Sci., (2015)On the structure of the counting function of sparse context-free languages., , and . Theor. Comput. Sci., 356 (1-2): 104-117 (2006)