Composite distributive lattices as annotation domains for mediators (Q1610220)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Composite distributive lattices as annotation domains for mediators |
scientific article |
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
