No label defined (Q4381397)
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 1136086
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1136086 |
Statements
1 April 1998
0 references
languages accepted by systolic binary tree automata
0 references
Büchi theorem
0 references
monadic second order logic
0 references
McNaughton theorem
0 references
regular languages
0 references
first order fragment
0 references
0.8238544464111328
0 references
0.8106064796447754
0 references
0.8013017773628235
0 references
0.7976611256599426
0 references
0.7789786458015442
0 references
