Weighted tree generating regular systems over strong bimonoids with reduction semantics (Q5871579)
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: Weighted tree generating regular systems over strong bimonoids with reduction semantics |
scientific article; zbMATH DE number 7644294
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Weighted tree generating regular systems over strong bimonoids with reduction semantics |
scientific article; zbMATH DE number 7644294 |
Statements
23 January 2023
0 references
strong bimonoid
0 references
semiring
0 references
weighted tree automaton
0 references
tree generating regular system
0 references
weighted tree generating regular system
0 references
0 references
0 references
0 references
0.7625609040260315
0 references
0.7503542900085449
0 references
0.7403674721717834
0 references
