Publications of Vessela Baleva


  1. A semantics of Logic Programs without searching, Ann. Univ. Sofia, to appear (ps)
  2. Structure Degree Jump, In: Second Panhellenic Logic Symposium, ed. Kolaitis and Koletsos, 1999, pp. 68-70 (ps)
  3. Regular Enumerations for Abstract Structures, submitted (ps)