Login / Signup

Implicates and reduction techniques for temporal logics.

Inman P. de GuzmánManuel Ojeda-AciegoAgustín Valverde
Published in: Ann. Math. Artif. Intell. (1999)
Keyphrases