DECLAREd: A Polytime LTLf Fragment

Simple item page
dc.contributor.authorGiacomo Bergami
dc.date.accessioned2025-02-17T11:37:58Z
dc.date.available2025-02-17T11:37:58Z
dc.identifier.urihttps://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10494
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleDECLAREd: A Polytime LTLf Fragment
dc.typesupplierxml
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.xml
Size:
424.95 KB
Format:
Extensible Markup Language
Download

Collections

2024