- Amsterdam: North-Holland, ISBN 978-0-444-86388-1 Cantone, D.; Omodeo, E. G.;
Policriti, A. (2013) [2001], Set
Theory for Computing. From
Decision Procedures...
- PMID 21186351. S2CID 4685532. Jaillon, Olivier; Aury, Jean-Marc; Noel, Benjamin;
Policriti, Alberto; Clepet, Christian; Casagrande, Alberto; et al. (2007). "The...
-
American Mathematical Society.
Retrieved March 17, 2014. Omodeo, E. G., &
Policriti, A., eds.,
Martin Davis on Com****bility, Com****tional Logic, and Mathematical...
- PMC 3198461. PMID 22039460.
Prezza N, Del
Fabbro C,
Vezzi F, De
Paoli E,
Policriti A (2012). "Erne-Bs5".
Proceedings of the ACM
Conference on Bioinformatics...
- Functions. Sets with
restricted quantifiers. Cantone, D., E. G.
Omodeo and A.
Policriti, "Set
Theory for Computing. From
Decision Procedures to
Logic Programming...
- 50 (3): 227–244. doi:10.1215/00294527-2009-009. Omodeo,
Eugenio G.;
Policriti, Alberto; Tomescu,
Alexandru I. (2017). "3.3: The
Ackermann encoding of...
- 1038/nrg2984. PMID 21502959. S2CID 33769324. Antoniotti, M., Park, F.,
Policriti, A., Ugel, N., Mishra, B. (2003)
Foundations of a
query and simulation...
- Statements".
Contemporary Mathematics. OpenStax. Omodeo,
Eugenio G.;
Policriti,
Alberto (2017-01-27).
Martin Davis on Com****bility, Com****tional Logic...
- PMC 3198573. PMID 21903629.
Prezza N, Del
Fabbro C,
Vezzi F, De
Paoli E,
Policriti A (2012). "Erne-Bs5".
Proceedings of the ACM
Conference on Bioinformatics...
- 1093/gigascience/giaa013. PMC 7050300. PMID 32118265.
Jaillon O, Aury JM, Noel B,
Policriti A,
Clepet C,
Casagrande A, et al. (September 2007). "The
grapevine genome...
