Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maurizio Proietti
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
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
Totally Correct Logic Program Transformations via Well-Founded Annotations
Higher-Order and Symbolic Computation
