DECLAREd: A Polytime LTLf Fragment

Simple item page
dc.contributor.authorGiacomo Bergami
dc.date.accessioned2025-02-25T12:50:35Z
dc.date.available2025-02-25T12:50:35Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10642
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleDECLAREd: A Polytime LTLf Fragment
dc.typesupplierxml
dspace.entity.typeDistribution
relation.isDatasetOfDistribution84f7bde4-306a-43ab-9062-00503026f3a4
relation.isDatasetOfDistribution.latestForDiscovery84f7bde4-306a-43ab-9062-00503026f3a4

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