Guillaume Hoffmann

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Guillaume Hoffmann, Carlos Areces: HTab: a Terminating Tableaux System for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 3-19 (2009)

1 Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009)

	2009
2		Guillaume Hoffmann, Carlos Areces: HTab: a Terminating Tableaux System for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 3-19 (2009)
1		Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009)

Coauthor Index