View in EDS HTML Full Text PDF Full Text

On Syntactical Simplification of Temporal Operators in Negation-Free Metric Temporal Logic.

Saved in:
Bibliographic Details
Title: On Syntactical Simplification of Temporal Operators in Negation-Free Metric Temporal Logic.
Authors: van Noort, Mathijs1 (AUTHOR) mathijs.vannoort@ugent.be, Ongenae, Femke1,2 (AUTHOR), Bonte, Pieter1,2 (AUTHOR)
Source: Mathematics (2227-7390). Apr2026, Vol. 14 Issue 7, p1124. 12p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:22277390
DOI:10.3390/math14071124