Generalized Modal Satisfiability

Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor. Generalized Modal Satisfiability. In Bruno Durand, Wolfgang Thomas, editors, STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings. Volume 3884 of Lecture Notes in Computer Science, pages 500-511, Springer, 2006. [doi]

Authors

Michael Bauland

This author has not been identified. Look up 'Michael Bauland' in Google

Edith Hemaspaandra

This author has not been identified. Look up 'Edith Hemaspaandra' in Google

Henning Schnoor

This author has not been identified. Look up 'Henning Schnoor' in Google

Ilka Schnoor

This author has not been identified. Look up 'Ilka Schnoor' in Google