Login / Signup

On the Inadequacy of the Relational Semantic for the "Until" Operator.

Fabio BellissimaAlessandra Ciupi
Published in: Math. Log. Q. (1992)
Keyphrases