Mark Kaminski

List of publications from the DBLP Bibliography Server - FAQ

2009

2 EE Mark Kaminski, Gert Smolka: Hybrid Tableaux for the Difference Modality. Electr. Notes Theor. Comput. Sci. 231: 241-257 (2009)

2008

1 EE Mark Kaminski, Gert Smolka: Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. IJCAR 2008: 210-225

2009
2	EE	Mark Kaminski, Gert Smolka: Hybrid Tableaux for the Difference Modality. Electr. Notes Theor. Comput. Sci. 231: 241-257 (2009)
2008
1	EE	Mark Kaminski, Gert Smolka: Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. IJCAR 2008: 210-225

Coauthor Index