Moritz Hardt

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Moritz Hardt, Gert Smolka: Higher-Order Syntax and Saturation Algorithms for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 174(6): 15-27 (2007)

2007
1	EE	Moritz Hardt, Gert Smolka: Higher-Order Syntax and Saturation Algorithms for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 174(6): 15-27 (2007)

Coauthor Index