Author: Francesco Parisi-Presicce

Publications

Co-authors

Kathrin Hoffmann

1

Gabriele Taentzer

1

Paolo Bottoni

2

Productive Colleagues

Gabriele Taentzer

7

Bernd Meyer

17

Paolo Bottoni

46

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