Richiedi una copia del documento: Non-Finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D and T

Captcha code
Annulla