Login / Signup

Temporal equilibrium logic: a survey.

Felicidad AguadoPedro CabalarMartín DiéguezGilberto PérezConcepción Vidal
Published in: J. Appl. Non Class. Logics (2013)
Keyphrases