Author: Francesco Parisi-Presicce
Publications
Co-authors
Productive Colleagues
Publications
Bottoni, Paolo, Hoffmann, Kathrin, Parisi-Presicce, Francesco, Taentzer, Gabriele (2005): High-level replacement units and their termination properties. In J. Vis. Lang. Comput., 16 (6) pp. 485-507. https://dx.doi.org/10.1016/j.jvlc.2005.07.001
Bottoni, Paolo, Meyer, Bernd, Parisi-Presicce, Francesco (2001): On a Uniform Logical Framework for Diagrammatic Reasoning. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 64-71. https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740064abs.htm