Author: Francesco Parisi-Presicce
Publication Overview
Publication period start: 2005
Number of co-authors: 4
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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