Modular and Certified Semantic Labeling and Unlabeling (Q5389090)
From MaRDI portal
scientific article; zbMATH DE number 6027847
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular and Certified Semantic Labeling and Unlabeling |
scientific article; zbMATH DE number 6027847 |
Statements
24 April 2012
0 references
semantic labeling
0 references
certification
0 references
term rewriting
0 references
unlabeling
0 references
Modular and Certified Semantic Labeling and Unlabeling (English)
0 references
