Khushraj Madnani

Quest'articolo presenta un metodo per semplificare l'eliminazione dei quantificatori nell'aritmetica di Presburger.

Uno sguardo a come la logica temporale influisce sulla tecnologia nella nostra vita quotidiana.