Generalized Definite Set Constraints
Constraints
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Checking Emptiness of Non-Deterministic Regular Types with Set Operators
Electronic Notes in Theoretical Computer Science (ENTCS)
On the alternation-free horn µ-calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Hi-index | 0.00 |