Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities" (Q6704289)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities" |
Dataset published at Zenodo repository. |
Statements
Complementary material including the proofs of all theorems presented at TACAS 2020, a detailed description of the RERS 2019 experiment, and the actual data used for the RERS 2018,RERS 2019, and TFTP experiments.
0 references
28 January 2020
0 references
2.0
0 references
