Weighted Logics for Traces (Q3434698)
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 Logics for Traces |
scientific article; zbMATH DE number 5148730
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Weighted Logics for Traces |
scientific article; zbMATH DE number 5148730 |
Statements
Weighted Logics for Traces (English)
0 references
2 May 2007
0 references
0.7966476678848267
0 references
0.7943353652954102
0 references
0.7920981645584106
0 references
0.7872576117515564
0 references
0.783444881439209
0 references
