Publication:4944863
From MaRDI portal
zbMath0949.68017MaRDI QIDQ4944863
Sophie Tison, Philippe Devienne, Jean-Marc Talbot
Publication date: 22 March 2000
68N17: Logic programming
Related Items
Checking Emptiness of Non-Deterministic Regular Types with Set Operators, Deciding inclusion of set constants over infinite non-strict data structures, Set constraints with intersection