Infinitary Completeness in Ludics.

Michele Basaldella Kazushige Terui

Published in: LICS (2010)

Keyphrases

data quality
databases
data sets
data analysis
graphical models
decision support
building blocks
formal proofs