Miroslava Tzakova

	1999
4		Miroslava Tzakova: Tableau Calculi for Hybrid Logics. TABLEAUX 1999: 278-292
3		Patrick Blackburn, Miroslava Tzakova: Hybrid Languages and Temporal Logic. Logic Journal of the IGPL 7(1): 27-54 (1999)
	1998
2		Patrick Blackburn, Miroslava Tzakova: Hybridizing Concept Languages. Ann. Math. Artif. Intell. 24(1-4): 23-49 (1998)
1		Patrick Blackburn, Miroslava Tzakova: Hybrid Completeness. Logic Journal of the IGPL 6(4): 625-650 (1998)

Coauthor Index

1

Patrick Blackburn

[1] [2] [3]