Login / Signup

Implicates and Reduction Techniques for Temporal Logics.

Inman P. de GuzmánManuel Ojeda-AciegoAgustín Valverde
Published in: JELIA (1998)
Keyphrases