Main content

DECLAREd: A Polytime LTLf Fragment

  0
Contributors:

Date created: | Last Updated:

: DOI | ARK

Creating DOI. Please wait...

Create DOI

Category: Project

Description: Codebase (https://github.com/gyankos/reducer/) and dataset used for the forthcoming paper: DECLAREd: a polytime LTLf fragment.

Files

Citation

Recent Activity

OSF does not support the use of Internet Explorer. For optimal performance, please switch to another browser.
Accept
This website relies on cookies to help provide a better user experience. By clicking Accept or continuing to use the site, you agree. For more information, see our Privacy Policy and information on cookie use.
Accept
×

Start managing your projects on the OSF today.

Free and easy to use, the Open Science Framework supports the entire research lifecycle: planning, execution, reporting, archiving, and discovery.

Copyright © 2011-2024 Center for Open Science | Terms of Use | Privacy Policy | Status | API
TOP Guidelines | Reproducibility Project: Psychology | Reproducibility Project: Cancer Biology