Alert button

A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic

Jun 13, 2022
Rui Li, Francesco Belardinelli

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: