Temporal Reasoning over Linear Discrete Time.

Manuel Enciso, Inman P. de Guzmn, Carlos Rossi

Browse the full JELIA paper archive.