Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q4736998 2004-08-11 Paper Complete Proof System for QPTL 2003-06-21 Paper https://portal.mardi4nfdi.de/entity/Q4484475 2003-06-12...10 bytes (16 words) - 07:50, 9 December 2023
- Alternating (in)dependence-friendly logic 2023-09-21 Paper Good-for-Game QPTL: An Alternating Hodges Semantics 2023-02-07 Paper...10 bytes (16 words) - 12:50, 28 January 2024
- characterization of extended \(\omega\)-regular languages 2023-06-01 Paper Good-for-Game QPTL: An Alternating Hodges Semantics 2023-02-07 Paper https://portal.mardi4nfdi...10 bytes (19 words) - 02:45, 10 December 2023
- Alternating (in)dependence-friendly logic 2023-09-21 Paper Good-for-Game QPTL: An Alternating Hodges Semantics 2023-02-07 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 15:14, 6 October 2023
- Alternating (in)dependence-friendly logic 2023-09-21 Paper Good-for-Game QPTL: An Alternating Hodges Semantics 2023-02-07 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 03:06, 25 September 2023
- verification of a compilation process 2003-07-15 Paper Complete Proof System for QPTL 2003-06-21 Paper https://portal.mardi4nfdi.de/entity/Q4484475 2003-06-12...10 bytes (17 words) - 23:59, 24 September 2023
- zbMATH Keywords model checking; Büchi automata; linear temporal logic; GOAL; QPTL Mathematics Subject Classification ID 68Q45: Formal languages and automata...15 bytes (99 words) - 22:49, 30 January 2024