Complexity of two-variable logic on finite trees (Q5327424)
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 6196322
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complexity of two-variable logic on finite trees |
scientific article; zbMATH DE number 6196322 |
Statements
Complexity of Two-Variable Logic on Finite Trees (English)
0 references
7 August 2013
0 references
0.996202290058136
0 references
0.8600183129310608
0 references
0.8314878344535828
0 references
0.8277767300605774
0 references
0.8131370544433594
0 references
