Completeness of Neighbourhood Logic

Rana Barua, Suman Roy, Zhou Chaochen. Completeness of Neighbourhood Logic. In Christoph Meinel, Sophie Tison, editors, STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings. Volume 1563 of Lecture Notes in Computer Science, pages 521-530, Springer, 1999. [doi]

Authors

Rana Barua

This author has not been identified. Look up 'Rana Barua' in Google

Suman Roy

This author has not been identified. Look up 'Suman Roy' in Google

Zhou Chaochen

This author has not been identified. Look up 'Zhou Chaochen' in Google