DECLAREd: A Polytime LTLf Fragment

dc.contributor.authorGiacomo Bergami
dc.date.accessioned2025-02-17T11:37:57Z
dc.date.available2025-02-17T11:37:57Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10493
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleDECLAREd: A Polytime LTLf Fragment
dc.typepdf
dspace.entity.typeDistribution
relation.isDatasetOfDistributiona056f130-43b9-4819-bd2e-f3677dde449a
relation.isDatasetOfDistribution.latestForDiscoverya056f130-43b9-4819-bd2e-f3677dde449a

Files

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

Collections