Birkhoff Completeness in Institutions.

Mihai Codescu Daniel Gâinâ

Published in: Logica Universalis (2008)

Keyphrases

data quality
website
cooperative
information retrieval
video sequences
computer science
user interface
electronic institutions