*-continuity vs. induction: divide and conquer (Q5224583)
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 7084849
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | *-continuity vs. induction: divide and conquer |
scientific article; zbMATH DE number 7084849 |
Statements
24 July 2019
0 references
Kleene star
0 references
infinitary action logic
0 references
action logic
0 references
residuated Kleene lattice
0 references
*-continuity
0 references
algebra of formal languages
0 references
relational algebra
0 references
0.7930538058280945
0 references
0.761339545249939
0 references
0.7251331210136414
0 references
