PETTOROSSI, ALBERTO
PETTOROSSI, ALBERTO
Dipartimento di Ingegneria Civile e Ingegneria informatica
A folding algorithm for eliminating existential variables from constraint logic programs
2008-01-01 Senni, V; Pettorossi, A; Proietti, M
A folding rule for eliminating existential variables from constraint logic programs
2009-01-01 Pettorossi, A; Senni, V; Proietti, M
A rule-based verification strategy for array manipulating programs
2015-01-01 De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
A theory of totally correct logic program transformations
2004-01-01 Pettorossi, A; Proietti, M
A transformation strategy for verifying logic programs on infinite lists
2010-01-01 Pettorossi, A; Proietti, M; Senni, V
Alla ricerca della verità oltre la verità scientifica
2015-01-01 Pettorossi, A
Automata theory and formal languages
2008-01-01 Pettorossi, A
Automata theory and formal languages
2013-01-01 Pettorossi, A
Automata Theory and Formal Languages (Third Edition)
2011-01-01 Pettorossi, A
Automata theory and formal languages (Second edition)
2009-01-01 Pettorossi, A
Automated strategies for specializing constraint logic programs
2001-01-01 Fioravanti, F; Pettorossi, A; Proietti, M
Automatic correctness proofs for logic program transformations
2007-01-01 Pettorossi, A; Proietti, M; Senni, V
Constraint-based correctness proofs for logic program transformations
2012-01-01 Pettorossi, A; Proietti, M; Senni, V
Controlling polyvariance for specialization-based verification
2013-01-01 Fioravanti, F; Pettorossi, A; Proietti, M; Senni, V
Deciding full branching time logic by program transformation
2010-01-01 Pettorossi, A; Proietti, M; Senni, V
Derivation of efficient logic programs by specialization and reduction of nondeterminism
2005-01-01 Pettorossi, A; Proietti, M; Renault,
Developing correct and efficient logic programs by transformation
1996-01-01 Pettorossi, A; Proietti, M
Elements of computability, decidability, and complexity
2014-01-01 Pettorossi, A
Elements of computability, decidability, and complexity (Third edition)
2009-01-01 Pettorossi, A
Elements of computability, decidability, and complexity. Fifth Edition
2016-01-01 Pettorossi, A