Works matching IS 28130405 AND DT 2024 AND VI 2 AND IP 2

DECLARE d : A Polytime LTL f Fragment.

Published in:

Logics, 2024, v. 2, n. 2, p. 79, doi. 10.3390/logics2020004

By:

• Bergami, Giacomo

Publication type:

Article