DECLAREd: A Polytime LTLf Fragment
| datacite.relatedItem.firstPage | 79 | |
| datacite.relatedItem.issue | 2 | |
| datacite.relatedItem.relatedIdentifierType | ISSN | |
| datacite.relatedItem.relatedItemIdentifier | 2813-0405 | |
| datacite.relatedItem.relationType | IsPublishedIn | |
| datacite.relatedItem.title | Logics | |
| datacite.relatedItem.volume | 2 | |
| dc.contributor.author | Giacomo Bergami | |
| dc.date.accessioned | 2025-02-25T12:50:33Z | |
| dc.date.available | 2025-02-25T12:50:33Z | |
| dc.date.issued | 2024 | |
| dc.identifier.doi | https://doi.org/10.3390/logics2020004 | |
| dc.identifier.other | jz000117-0003 | |
| dc.identifier.uri | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10640 | |
| dc.publisher | MDPI AG | |
| dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | |
| dc.title | DECLAREd: A Polytime LTLf Fragment | |
| dc.type | Article | |
| dcat.distribution.pdf | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10641 | |
| dcat.distribution.supplierxml | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10642 | |
| dspace.entity.type | Dataset | |
| relation.isDistributionOfDataset | 22478d16-249b-4b9b-bc7a-b5d3ed69a2c5 | |
| relation.isDistributionOfDataset | 21a4ec53-962e-4f5f-866f-6ff5a0ae584a | |
| relation.isDistributionOfDataset | d31d8975-1a6e-480f-94b3-fb8ea0b64fb1 | |
| relation.isDistributionOfDataset.latestForDiscovery | 22478d16-249b-4b9b-bc7a-b5d3ed69a2c5 | |
| wdm.archivematicaaipuuid.original | ad8b0c43-f661-4e75-9272-759e8c446f01 |