Kuijer, Louwe 
ORCID: 0000-0001-6696-9023, Fortin, Marie, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2021)
HyperLTL Satisfiability is Σ11-complete, HyperCTL* Satisfiability is Σ21-complete.
In: Mathematical Foundations of Computer Science, 2021-8-23 - 2021-8-27, Tallinn.
|
Text
main-2.pdf - Author Accepted Manuscript Download (772kB) | Preview |
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Symplectic Admin |
| Date Deposited: | 09 Jul 2021 16:22 |
| Last Modified: | 18 Jan 2023 21:36 |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3129440 |
Share
Share
Share
CORE (COnnecting REpositories)