Proving Behavioural Apartness.

Ruben Turkenburg Harsh Beohar Clemens Kupke Jurriaan Rot

Published in: CMCS (2024)

Keyphrases

data model
database systems
domain knowledge
collective decision making
small number
open source