Information Flow. Logics for the (r)age of information
Philipp KellerAnnée:
2002
Edition:
First
Editeur::
University of Berne
Langue:
english
Pages:
263
Collection:
Institute for Theoretical Computer Science. University of Berne
Fichier:
PDF, 2.93 MB
IPFS:
,
english, 2002