BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × The Netherlands
Collaborated with:
R.Sprugnoli G.Aguzzi E.Barcucci S.Bilotta E.Pergola S.Rinaldi
Talks about:
recurr (2) relat (2) polyomino (1) algorithm (1) approach (1) success (1) program (1) problem (1) languag (1) semant (1)

Person: Renzo Pinzani

DBLP DBLP: Pinzani:Renzo

Contributed to:

LATA 20152015
ICALP 19721972
TAPSOFT CAAP/FASE 19931993

Wrote 3 papers:

LATA-2015-BilottaPPR #problem
Recurrence Relations, Succession Rules, and the Positivity Problem (SB, EP, RP, SR), pp. 499–510.
ICALP-1972-AguzziPS #algorithm #approach #programming language #semantics
An Algorithmic Approach to the Semantics of Programming Languages (GA, RP, RS), pp. 147–166.
TAPSOFT-1993-BarcucciPS
Directed Column-Convex Polyominoes by Recurrence Relations (EB, RP, RS), pp. 282–298.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.