Publication:4944863
From MaRDI portal
zbMath0949.68017MaRDI QIDQ4944863
Philippe Devienne, Jean-Marc Talbot, Sophie Tison
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