DECLAREd: A Polytime LTLf Fragment

Simple item page
dc.contributor.authorGiacomo Bergami
dc.date.accessioned2025-03-11T15:58:58Z
dc.date.available2025-03-11T15:58:58Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10732
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleDECLAREd: A Polytime LTLf Fragment
dc.typesupplierxml
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
No Thumbnail Available
Name:
logics-02-02-00004.xml
Size:
424.95 KB
Format:
Extensible Markup Language
Download

Collections

2024