Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alberto Pettorossi
Correction To: Towers of Hanoi Problems: Deriving Iterative Solutions by Program Transformations
BIT Numerical Mathematics
Computer Networks
Applied Mathematics
Software
Computational Mathematics
Communications
Proving Theorems by Program Transformation
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Synthesizing Concurrent Programs Using Answer Set Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems With Combinatorial Explosion
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Preface
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Preface
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Controlling Polyvariance for Specialization-Based Verification
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Program Transformation for Development, Verification, and Synthesis of Programs
Intelligenza Artificiale
Artificial Intelligence
Developing Correct and Efficient Logic Programs by Transformation*
Knowledge Engineering Review
Artificial Intelligence
Software
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
