Checking Emptiness of Non-Deterministic Regular Types with Set Operators (Q5415619)
From MaRDI portal
scientific article; zbMATH DE number 6294819
Language | Label | Description | Also known as |
---|---|---|---|
English | Checking Emptiness of Non-Deterministic Regular Types with Set Operators |
scientific article; zbMATH DE number 6294819 |
Statements
Checking Emptiness of Non-Deterministic Regular Types with Set Operators (English)
0 references
13 May 2014
0 references
regular types
0 references
emptiness
0 references
subtyping
0 references
tabulation
0 references