Weina Shen

2009
1	EE	Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009)

Coauthor Index

1	Petr Pudlák	[1]
2	Florian Rabe	[1]
3	Geoff Sutcliffe	[1]