ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS (Q3732958)
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: ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS |
scientific article |
Statements
ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS (English)
0 references
1986
0 references
comparison of various logics of programs
0 references
nondeterminism
0 references
dynamic logic
0 references
regular programs
0 references
context-free programs
0 references
0.93870354
0 references
0.9230201
0 references
0 references
0.9163953
0 references
0.9067392
0 references
0.9042995
0 references
0.9023684
0 references
