Composite distributive lattices as annotation domains for mediators (Q1610220)
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: Composite distributive lattices as annotation domains for mediators |
scientific article; zbMATH DE number 1783441
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Composite distributive lattices as annotation domains for mediators |
scientific article; zbMATH DE number 1783441 |
Statements
Composite distributive lattices as annotation domains for mediators (English)
0 references
19 August 2002
0 references
annotated logic
0 references
distributive lattices
0 references
dual transform
0 references
free distributive latticeproduct
0 references
mediator
0 references
SLG resolution
0 references
0.8345125
0 references
0.82961243
0 references
0 references
0 references
0.82079226
0 references
0.81597924
0 references