Miroslava Tzakova

According to our database¹, Miroslava Tzakova authored at least 5 papers between 1998 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

Hybrid languages.

[BibT_eX]

[DOI]

PhD thesis, 1999

Hybrid Languages and Temporal Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

Tableau Calculi for Hybrid Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1998

Hybrid Completeness.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

Hybridizing Concept Languages.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1998