Your search returned the following 7 documents:

7. Hybrid Languages
   Miroslava Tzakova
   Doctoral dissertation, Universität des Saarlandes, 1999
   
6. Hybrid Languages and Temporal Logic
   Patrick Blackburn and Miroslava Tzakova
   Logic Journal of the IGPL 7 (1): 27-54, 1999. Note: Revised Version of MPI-I-98-2-006.
   
5. Tableau Calculi for Hybrid Logics
   Miroslava Tzakova
   In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, Saratoga Springs, NY, USA, June 7 - 11, 1999, 1999, 278-292
   
4. A Hybrid Concept Language
   Patrick Blackburn and Miroslava Tzakova
   In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 4-6, 1998, 1998
   
3. Hybrid Completeness
   Patrick Blackburn and Miroslava Tzakova
   Logic Journal of the IGPL 6 (4): 625-650, 1998. Note: Revised Version of MPI-I-97-2-007
   
2. Hybrid Languages and Temporal Logic (Full Version)
   Patrick Blackburn and Miroslava Tzakova
   Computational Lingustics, Universität des Saarlandes, Saarbrücken, CLAUS 96, Research Report
   
1. Hybridizing Concept Languages
   Patrick Blackburn and Miroslava Tzakova
   Annals of Mathematics and Artificial Intelligence 24 (1/4): 23-49, 1998