Volume 63, Number 1, September 2011
Formal Methods in Aerospace
Volume 63, Number 2, October 2011
Volume 63, Numbers 3-4, December 2011
Foundations of Information and Knowledge Systems:
Selected Papers from FoIKS 2008
: Autonomous sets for the hypergraph of all canonical covers.
Stephen J. Hegner
: Information-based distance measures and the canonical reflection of view updates.