A logic with reverse modalities for history-preserving bisimulations (Q4965863)
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: A logic with reverse modalities for history-preserving bisimulations |
scientific article; zbMATH DE number 7319035
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A logic with reverse modalities for history-preserving bisimulations |
scientific article; zbMATH DE number 7319035 |
Statements
10 March 2021
0 references
0.9414020776748656
0 references
0.8208648562431335
0 references
0.7786402702331543
0 references
0.7750145792961121
0 references
0.7706519365310669
0 references
