scientific article; zbMATH DE number 1420799
From MaRDI portal
Publication:4944863
zbMath0949.68017MaRDI QIDQ4944863
Philippe Devienne, Jean-Marc Talbot, Sophie Tison
Publication date: 22 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
