Pettorossi, A. (Alberto), 1947-
Pettorossi, Alberto
Pettorossi, Alberto 1947-
Pettorossi, A.
Pettorossi, A. 1947-
Pettorossi, A. (Alberto)
VIAF ID: 37584193 ( Personal )
Permalink: http://viaf.org/viaf/37584193
Preferred Forms
- 200 _ 1 ‡a Pettorossi ‡b , Alberto
-
- 100 1 _ ‡a Pettorossi, A. ‡d 1947-
- 100 1 _ ‡a Pettorossi, A. ‡q (Alberto)
-
-
- 100 1 0 ‡a Pettorossi, A. ‡q (Alberto), ‡d 1947-
-
- 100 1 _ ‡a Pettorossi, Alberto
-
-
- 100 1 _ ‡a Pettorossi, Alberto ‡d 1947-
4xx's: Alternate Name Forms (6)
5xx's: Related Names (2)
- 510 2 _ ‡a Istituto di Analisi dei Sistemi ed Informatica ‡g Rom ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Università degli studi di Roma "Tor Vergata" ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Automata theory and formal languages : fundamental notions, theorems, and techniques | |
Automatic Program Development : A Tribute to Robert Paige | |
Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers | |
META-92 | |
Meta-programmming in logic : third international workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings | |
Methodologies for transformations and memoing in applicative languages | |
Programming in C++ / Alberto Pettorossi | |
Quaderni di informatica / Alberto Pettorossi | |
raccolta di programmi in Pascal | |
Techniques for Searching, Parsing, and Matching | |
Transformation of logic programs : foundations and techniques / A. Pettorossi, M. Proietti |