Richiedi una copia del documento: What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBbarLbar

Captcha code
Annulla