Giornata di lavoro su ragionamento non monotono
In questo lavoro si vedranno nuove motivazioni a favore di uno studio della contrazione su basi finite (non chiuse), oltre a quelle già note in letteratura, e si mostrerà un algoritmo efficiente su base finita.
@inproceedings{libe-94,
title = {Contrazione e clausole complete},
year = {1994},
author = {Liberatore, Paolo},
booktitle = {Giornata di lavoro su ragionamento non monotono},
}