Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

References of Miroslava Tzakova   Order by:   Type | Year

<< TechReport >>

1 Patrick Blackburn and Miroslava Tzakova. Hybrid Completeness. Technical report, CLAUS Report 95, Universität des Saarlandes, Saarbrücken, June 1998. [Abstract]     google [Annote] 2 Patrick Blackburn and Miroslava Tzakova. Hybrid Languages and Temporal Logic (Full Version) Technical report, CLAUS Report 96, Universität des Saarlandes, Saarbrücken, July 1998. [Abstract]     google [Annote] 3 Patrick Blackburn and Miroslava Tzakova. Hybridizing Concept Languages. Technical report, CLAUS-Report 97, Universität des Saarlandes, Saarbrücken, October 1998. [Abstract]     google [Annote] 4 Patrick Blackburn and Miroslava Tzakova. Hybrid Languages and Temporal Logic. Technical report, CLAUS Report 107, Universität des Saarlandes, Saarbrücken, November 1998. [Abstract]     google [Annote]

Last modified: Thu October 16 2014 19:11:34