Implicates and Reduction Techniques for Temporal Logics.

Inman P. de Guzmn, Manuel Ojeda-Aciego, Agustn Valverde

Browse the full JELIA paper archive.