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-03-11T15:58:57Z | |
| dc.date.available | 2025-03-11T15:58:57Z | |
| 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/10730 | |
| 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/10731 | |
| dcat.distribution.supplierxml | https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10732 | |
| dspace.entity.type | Dataset | |
| relation.isDistributionOfDataset | e2e41378-5a0a-44b7-b103-f604e5fedecd | |
| relation.isDistributionOfDataset | 7fe779d0-35e7-4b41-9ce0-4b339a72112f | |
| relation.isDistributionOfDataset | 2784dce9-3f4c-4aca-9c2f-1404357eb8fd | |
| relation.isDistributionOfDataset.latestForDiscovery | e2e41378-5a0a-44b7-b103-f604e5fedecd | |
| wdm.archivematicaaipuuid.original | ad8b0c43-f661-4e75-9272-759e8c446f01 |