Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis (Q5224569)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7084835
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis |
scientific article; zbMATH DE number 7084835 |
Statements
24 July 2019
0 references
automatic structures
0 references
chain monadic second-order logic
0 references
epistemic planning synthesis
0 references
0.7349972128868103
0 references
0.724473237991333
0 references
0.7221403121948242
0 references
0.715417742729187
0 references
0.7151342034339905
0 references
