Francesco Alberti - Dokumente zum Namen

(1 - 8 von 8

)

Search | arXiv e-print repository

arxiv.org

Counting Constraints in Flat Array Fragments. Authors: Francesco Alberti, Silvio Ghilardi, Elena Pagani. Abstract: We identify a fragment of Presburger arithmetic ...

Alberti, Pietro Francesco [WorldCat Identities]

www.worldcat.org

Effet de nuit by Pietro Francesco Alberti( Book ) 1 edition published in in Italian and held by 1 WorldCat member library worldwide. › identities

File:Pietro Francesco Alberti A Painter's Academy in Rome.jpg -...

commons.wikimedia.org

English: Pietro Francesco Alberti (1584–1638), A Painter's Academy in Rome, engraving; col. The Metropolitan Museum, New York. Date, 17th ...

[ ] Counting Constraints in Flat Array Fragments

arxiv.org

Authors: Francesco Alberti, Silvio Ghilardi, Elena Pagani. (Submitted on 1 Feb 2016). Abstract: We identify a fragment of Presburger arithmetic enriched with free function symbols and cardinality constraints for interpreted sets, which is amenable to automated analysis. We establish decidability and complexity results for ...