DECLAREd: A Polytime LTLf Fragment

Simple item page
dc.contributor.authorGiacomo Bergami
dc.date.accessioned2025-03-11T15:58:57Z
dc.date.available2025-03-11T15:58:57Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10731
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleDECLAREd: A Polytime LTLf Fragment
dc.typepdf
dspace.entity.typeDistribution
relation.isDatasetOfDistributionea506271-7877-4ee4-87b0-cedc5578cbc1
relation.isDatasetOfDistribution.latestForDiscoveryea506271-7877-4ee4-87b0-cedc5578cbc1

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
logics-02-02-00004.pdf
Size:
821.27 KB
Format:
Adobe Portable Document Format
Download

Collections

2024