Environment classifiers (Q2942909)
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: Environment classifiers |
scientific article; zbMATH DE number 6481281
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Environment classifiers |
scientific article; zbMATH DE number 6481281 |
Statements
Environment classifiers (English)
0 references
11 September 2015
0 references
linear temporal logic
0 references
modal logic
0 references
multi-stage programming
0 references
type safety
0 references
type systems
0 references
0.8471680283546448
0 references
0.8197631239891052
0 references
0.8174979090690613
0 references
0.7152450084686279
0 references
0.7079715132713318
0 references
