PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Intrigila, Benedetto"

Author of the publication

copydeleteadd this publication to your clipboard
A Comprehensive Setting for Matching and Unification over Iterative Terms.

, , and . Fundam. Inform., 39 (3): 273-304 (1999)

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.

Dr. -Ing. Benedetto Risio University of Stuttgart

 

Other publications of authors with the same name

Some Results on Numerical Systems in lambda-Calculus.. Notre Dame Journal of Formal Logic, 35 (4): 523-541 (1994)An XML environment for scenario based requirements engineering., , , and . Journal of Systems and Software, 79 (3): 379-403 (2006)A Comprehensive Setting for Matching and Unification over Iterative Terms., , and . Fundam. Inform., 39 (3): 273-304 (1999)On the structure of the counting function of sparse context-free languages., , and . Theor. Comput. Sci., 356 (1-2): 104-117 (2006)On the commutative equivalence of semi-linear sets of Nk., and . Theor. Comput. Sci., (2015)A PDDL+ Benchmark Problem: The Batch Chemical Plant., , , and . ICAPS, page 222-225. AAAI, (2010)The Omega Rule is II_2^0-Hard in the lambda beta -Calculus., and . LICS, page 202-210. IEEE Computer Society, (2004)Some New Results on Easy lambda-Terms., and . Theor. Comput. Sci., 121 (1&2): 71-88 (1993)Interoperability mapping from XML schemas to ER diagrams., , , , and . Data Knowl. Eng., 59 (1): 166-188 (2006)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)